re correction d'un bug dans ~SatProblem() (le meme, trois lignes plus bas...)