p cnf 1000000000 0
