lanciare: ampl sudoku_ampl_run.txt per l'altra soluzione lanciare: ampl sudoku23_ampl_mod.txt