(x=6-y-z)&(x*y=11-y*z-x*z)&(x^2=13-y^2)