Added 2SAT solver.