p cnf 536870912 0
