Output: [|-x+y=0; -x+3>=0; x-1>=0|]