c_1, c_2, x_1, x_2, x_3, x_4, 
-x_1*x_4+c_1
-x_1*x_3+c_2
x_3^2+x_4^2-1
