x_1, x_2, x_3, 
x_2^2+x_3^2-1
-12*x_2^2*x_3-12*x_3^3-2*x_3^2-18
