l'ajout de la clause apprise n'est pas fait à la fin de résolve mais dans satisfiability