premiere version de SatProblem(), non fonctionnelle a priori