Add 2-SAT