Ricaricata la classe SolverManager corretta