c    	  
c comment
p cnf 1 1
1 0