sqrt((a+1)^2+(b-3)^2)<=1 and b>=3