z, y, x, 
-7*x*y*z-3*x*y-14*x*z+6*y*z-x-12*y+9*z+1
2*x*y*z+15*x*y-y*z-15*x+14*y+14*z
-8*x*y*z+15*x*y-12*x*z+11*y*z+10*x+2*y-5*z-14
