p cnf 10 1
10 0