y - x^2 >= 1, x + y <= 3