toysolver-0.0.4: samples/maxsat/MML10.wcnf
c from http://sat.inesc-id.pt/~ruben/talks/sat10-talk.pdf p wcnf 3 6 15 15 1 2 -3 0 15 -2 3 0 15 -1 3 0 5 -3 0 3 1 2 0 2 1 3 0
c from http://sat.inesc-id.pt/~ruben/talks/sat10-talk.pdf p wcnf 3 6 15 15 1 2 -3 0 15 -2 3 0 15 -1 3 0 5 -3 0 3 1 2 0 2 1 3 0