frend class SatProblem