y+2*x*z=0;x+4*y*z=0;x^2+2*y^2-2=0