case class SATModelIterator