Talk:Not-all-equal 3-satisfiability