Utilisation de freeLitTrue et freeLitFalse au lieu de freeVar dans SatProblem