x_1, x_2, x_3, x_4, 
x_1^3+x_2+x_3+x_4-1
x_4^3+x_1+x_2+x_3-1
x_3^3+x_1+x_2+x_4-1
x_2^3+x_1+x_3+x_4-1
