fixed the maxsat12-pms data