c instance by G2
c 
p cnf 28 144
-9 -22 15 0
1 17 -26 0
-28 6 -18 0
-23 20 -7 0
14 -3 7 0
9 28 -10 0
-2 -25 -8 0
26 -6 -24 0
10 -23 7 0
8 22 5 0
-14 -18 8 0
2 26 -24 0
-16 5 10 0
-3 5 -23 0
17 22 15 0
-22 -19 9 0
26 -28 5 0
23 14 8 0
9 -5 25 0
10 21 5 0
-8 -14 1 0
7 3 -15 0
23 18 7 0
-18 1 13 0
4 -14 -20 0
-20 25 -13 0
11 -17 -26 0
28 26 16 0
-24 17 19 0
26 -17 -20 0
-27 13 -7 0
28 5 -4 0
24 -21 -15 0
18 -5 -17 0
-9 -25 -5 0
-10 3 24 0
1 25 -11 0
27 24 -21 0
11 5 -24 0
-1 -22 -13 0
1 4 8 0
-22 4 -3 0
-28 -4 14 0
-22 -7 -12 0
19 28 -16 0
-9 -12 -5 0
-5 27 8 0
-25 -4 8 0
-7 -4 -22 0
-4 8 12 0
24 -5 -3 0
20 23 7 0
-5 10 11 0
16 -23 -7 0
-24 -15 14 0
7 25 2 0
5 21 26 0
-11 -27 9 0
-27 18 17 0
-19 -2 -12 0
16 -25 3 0
28 17 6 0
3 10 -6 0
25 21 2 0
-22 -18 6 0
-28 -15 10 0
12 19 27 0
-24 25 -16 0
-2 17 13 0
10 -19 -11 0
-26 19 2 0
-11 19 -18 0
2 -27 -4 0
-21 17 -13 0
-4 -18 -2 0
16 -10 -13 0
21 -10 -23 0
-1 -5 22 0
23 24 -20 0
-6 -28 -22 0
-6 -23 13 0
10 -17 -4 0
7 4 -2 0
15 -17 21 0
-24 18 -17 0
-10 -18 -23 0
4 -17 19 0
20 -3 6 0
-6 5 25 0
-15 14 24 0
-18 -25 -9 0
-21 -25 1 0
-14 -15 11 0
17 9 -19 0
4 -12 10 0
-11 4 7 0
13 -23 -25 0
-4 26 -7 0
-24 22 -20 0
5 -10 -4 0
-18 -17 -19 0
8 -25 22 0
-20 23 -4 0
22 -21 -6 0
-19 -28 8 0
12 -9 22 0
16 -6 2 0
-19 22 -2 0
8 -22 -11 0
-6 -7 -24 0
22 -27 21 0
17 18 -12 0
23 -24 16 0
-22 -16 15 0
-27 26 -9 0
-7 -8 -20 0
22 -17 -26 0
19 27 -5 0
-5 -20 19 0
17 18 16 0
-26 -25 9 0
21 15 -10 0
28 16 3 0
-8 -6 -13 0
-12 -9 -23 0
17 27 22 0
14 20 -7 0
-27 -7 -20 0
-8 10 4 0
5 17 -21 0
26 -5 23 0
-22 -13 10 0
-21 17 -15 0
17 -26 15 0
-23 6 10 0
28 21 5 0
26 6 22 0
8 -1 -9 0
5 15 -6 0
2 16 -14 0
6 -4 -16 0
-20 -13 -21 0
24 -28 -10 0
-5 17 -13 0