p cnf 3 1
1 4 0