deductions devient un attribut de SatProblem et non plus une variable locale de satisfiability()