Completed SATSolver