adding 2-SAT