x2 +y≥2, x-2y3 ≤1