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