MAJ dans les exit pour le code de retour sat/unsat