c_1, x_1, x_2, x_3, x_4, x_5, x_6, x_7, 
x_1-c_1
x_2-3*c_1
x_3-c_1
x_4-c_1
x_5-c_1
-c_1*x_6^2+x_6-1
-x_2*x_6*x_7+x_7-1
