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