Update prova.txt