Amélioration du script de test pour les clauses satisfiables
Amélioration de la morkitu du script de test pour les entrées satisfiables