p   cnf   	1		  3   
	1  	0	
	-1  0
  1
0