SolverMain