credo risolti i problemi di consistenza della GUI; il messaggio viene anche aggiornato mentre si fanno le assunzioni
carica soluzione aggiorna la gui