p cnf 200000 1
2684354550 0