已知变量x,y满足3个不等式分别是x-4y