c1, c2, c3, z2, z3, z4, z5, y2, y3, y4, y5, x3, x4, 
z2+z3+z4+z5
33461*c3-94642
c2+y2+y3+y4+y5
9*c2-8
36926*c1-208885
-3*c3*y2+3*x3+3*x4+8
-c1*y2+9*y2^2+z2
y5^2+z5^2-c2
3*y4*y5+3*z4*z5+x4-1
x4^2+y4^2+z4^2-1
3*x3*x4+3*y3*y4+3*z3*z4-1
x3^2+y3^2+z3^2-1
-3*c3*x3*y2+3*y2*y3+3*z2*z3+3*x3-1
