c CNF file generated from BLIF2CNF script.
c Original BLIF file was kunz.blif
p cnf 24 57
1 -4 0
-2 -4 0
4 -1 2  0
-4 3 0
-1 -5 0
2 -5 0
5 1 -2  0
-5 3 0
1 -6 0
2 -6 0
6 -1 -2  0
-6 3 0
-3 4 5 6  0
3 -9 0
7 -9 0
9 -3 -7  0
-9 8 0
-8 9  0
1 -11 0
-2 -11 0
11 -1 2  0
-11 10 0
-10 11  0
12 -15 0
-13 -15 0
15 -12 13  0
-15 14 0
-12 -16 0
13 -16 0
16 12 -13  0
-16 14 0
12 -17 0
13 -17 0
17 -12 -13  0
-17 14 0
-14 15 16 17  0
-10 -18 0
8 -18 0
18 10 -8  0
-18 12 0
10 -19 0
-8 -19 0
19 -10 8  0
-19 12 0
10 -20 0
8 -20 0
20 -10 -8  0
-20 12 0
-12 18 19 20  0
3 -22 0
22 -3  0
-22 21 0
-21 22  0
12 -24 0
24 -12  0
-24 23 0
-23 24  0