p cnf 1 1


-nodigit