Given is a one-in-three constraint satisfaction problem without negation.
All constraints are of the form x + y + z = 1.