满足现行约束2X Y小于等于3,x 2y小于等于4