x, y, z, a, 
x^2*z+y^2*z-a*z+1
x^2*y+y*z^2-a*y+1
x*y^2+x*z^2-a*x+1
