{x y <= 1, 4 x + y - 4 >= 0, x + 4 y - 4 >= 0}