Risoluzione dei problemi dei modelli