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