Fixed a bug that led to erroneous reporting of SAT/UNSAT.