p cnf 10 0