-1*x +2*t >= 0 -1*y +1*t >= 0 1*y +1*t >= 0 1*x -1*t >= 0