nested_5.cnf

c root node variable = 22
c  x1 = 1
c  x4 = 2
c  x3 = 4
c  x9 = 5
c  x7 = 8
c  x5 = 14
c  x6 = 17
p cnf 22 21
22 0 
-22 12 0 
-22 21 0 
-12 7 11 0 
-7 3 0 
-7 6 0 
-3 1 -2 0 
-6 4 5 0 
-11 9 0 
-11 10 0 
-9 8 1 0 
-10 2 5 0 
-21 16 20 0 
-16 13 0 
-16 15 0 
-13 5 5 0 
-15 -2 -14 0 
-20 18 0 
-20 19 0 
-18 4 -17 0 
-19 -4 17 0