p cnf 1073741824 0
