(Model) Much work done on Solver.