p cnf 1 nodigit
