x, y, z, t, 
x^3+t+y+z-1
y^3+t+x+z-1
z^3+t+x+y-1
t^3+x+y+z-1
