Class SatModelReasoner