x+y+z 1
y+z 1
x+z 1
x 1