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