Scenario MAXSAT12-PMS