fix 2-SAT