Un test moins long que le 4 pour tester l'insatisfiabilité