Exemple de test V-SAT