c Standarized MaxSat Instance
c{
c "sha1sum": "da26691f64f027102f9af4beceb46e09a132ca25",
c "nvars": 27,
c "ncls": 54,
c "nhards": 27,
c "nhard_len_stats":
c    { "min": 3, "max": 5, "ave": 4.11,
c      "stddev": 0.63 },
c "nsofts": 27,
c "nsoft_len_stats":
c    { "min": 1, "max": 1, "ave": 1.00,
c      "stddev": 0.00 },
c "nsoft_wts": 1,
c "soft_wt_stats":
c    { "min": 1, "max": 1, "ave": 1.00,
c      "stddev": 0.00 }
c}
c------------------------------------------------------------
c SUBTRACT 0 
p wcnf 27 54 28
1 -1 0
1 -2 0
1 -3 0
1 -4 0
1 -5 0
1 -6 0
1 -7 0
1 -8 0
1 -9 0
1 -10 0
1 -11 0
1 -12 0
1 -13 0
1 -14 0
1 -15 0
1 -16 0
1 -17 0
1 -18 0
1 -19 0
1 -20 0
1 -21 0
1 -22 0
1 -23 0
1 -24 0
1 -25 0
1 -26 0
1 -27 0
28 1 2 10 0
28 1 10 11 19 0
28 10 19 20 0
28 1 2 3 11 0
28 2 10 11 12 20 0
28 11 19 20 21 0
28 2 3 4 12 0
28 3 11 12 13 21 0
28 12 20 21 22 0
28 3 4 5 13 0
28 4 12 13 14 22 0
28 13 21 22 23 0
28 4 5 6 14 0
28 5 13 14 15 23 0
28 14 22 23 24 0
28 5 6 7 15 0
28 6 14 15 16 24 0
28 15 23 24 25 0
28 6 7 8 16 0
28 7 15 16 17 25 0
28 16 24 25 26 0
28 7 8 9 17 0
28 8 16 17 18 26 0
28 17 25 26 27 0
28 8 9 18 0
28 9 17 18 27 0
28 18 26 27 0