Test the SAT solver.