Minor changes in SAT solver response processing.