x y z a
-x+1/2 -y z+1/2 a
-x y+1/2 -z+1/2 a
x+1/2 -y+1/2 -z a
