{0<=x<=1,2<=y<=3,y^2<=x}