On my systems (Linux, Windows), the above command did not replace some strange white space character. I had to replace it manually.
Here is my corrected file:
I did a few tests with it. The optimal value is 7 and I found 880 feasible solutions.
Best regards,
Thomas