correction d'un bug dans ~SatProblem()