4af3ebdc-6c1d-40f9-b527-c8ec7c536361

The top of this file has the following content:

NAME  
ROWS  
 MAX NumSatisfied

After changing it to the following it now works.

NAME           MaxFS15
OBJSENSE
  MAX
ROWS  
 N NumSatisfied

I have then turned it into a minimisation problem and multiplied the objective by -1 (there's no offset). New instance should be attached.