Sistemazione errori SolverManager