p cnf 200000 1
1073741824 0
