MaxSATProblem mounted.