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