p wcnf 1 2 2
1 1 0
2 -1 0