c d = 8
c n = 24
c p = 64
c r = 3
p cnf 24 64
15 16 1 0
-15 -16 1 0
15 -16 -1 0
-15 16 -1 0
1 17 2 0
-1 -17 2 0
1 -17 -2 0
-1 17 -2 0
2 18 3 0
-2 -18 3 0
2 -18 -3 0
-2 18 -3 0
3 19 4 0
-3 -19 4 0
3 -19 -4 0
-3 19 -4 0
4 20 5 0
-4 -20 5 0
4 -20 -5 0
-4 20 -5 0
5 21 6 0
-5 -21 6 0
5 -21 -6 0
-5 21 -6 0
6 22 7 0
-6 -22 7 0
6 -22 -7 0
-6 22 -7 0
7 23 24 0
-7 -23 24 0
7 -23 -24 0
-7 23 -24 0
8 23 24 0
-8 -23 24 0
8 -23 -24 0
-8 23 -24 0
9 22 8 0
-9 -22 8 0
9 -22 -8 0
-9 22 -8 0
10 21 9 0
-10 -21 9 0
10 -21 -9 0
-10 21 -9 0
11 20 10 0
-11 -20 10 0
11 -20 -10 0
-11 20 -10 0
12 19 11 0
-12 -19 11 0
12 -19 -11 0
-12 19 -11 0
13 18 12 0
-13 -18 12 0
13 -18 -12 0
-13 18 -12 0
14 17 13 0
-14 -17 13 0
14 -17 -13 0
-14 17 -13 0
15 16 -14 0
-15 -16 -14 0
15 -16 14 0
-15 16 14 0