p cnf 1 1
1
  1