p cnf 0 1
1 0