p cnf 5 5 3 -1 -5 0 2 4 1 0 3 -4 5 0 -5 -4 2 0 -3 -1 -2 0