Included MaxSAT problem.