MaxSAT problem added.