p cnf 1 1  	  
