MaxSAT case of study completed.