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