[x*y=0,x^2-3*y^2-3=-6*y]