elim-m-opt ottimizzato ignorando soluzioni non feasible. Tested working ok