Le script de test pour les instances satisfiables nettoie ses fichiers temporaires