Final 2SAT solvers and report