x3, x2, x1, s, 
s-x1*(x2^3+x3^3+1)
s-x2*(x1^3+x3^3+1)
s-x3*(x1^3+x2^3+1)
