(x^2-3*y=-1)