Scenario MAXSAT-PMS-2016