2SAT solver