c
p cnf nodigit
