implémentation du backtrack intelligent dans dpll, buggé pour l'instant