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