c instance by G2
c no solution
p cnf 15 101
7 6 11 0
10 7 -8 0
12 -5 9 0
-3 2 7 0
14 15 5 0
-2 3 -8 0
6 12 -8 0
11 -12 15 0
-15 -4 -7 0
-7 3 -4 0
-1 -15 14 0
13 4 -15 0
-11 -2 10 0
-11 5 8 0
-6 13 2 0
-11 -8 -6 0
-12 -8 -11 0
-13 15 7 0
10 -13 -15 0
-5 -10 -13 0
-3 5 15 0
3 -12 -14 0
15 -10 -3 0
12 4 1 0
-6 -4 15 0
13 5 -10 0
-11 12 -4 0
-6 -1 -11 0
7 2 1 0
-9 -13 -15 0
14 9 -2 0
3 7 -15 0
14 11 -2 0
14 12 6 0
-10 -2 5 0
-8 -14 -11 0
-5 12 6 0
-14 -13 10 0
-1 -4 -10 0
-14 5 -8 0
-11 -7 -6 0
-15 -13 9 0
4 -1 13 0
7 6 -13 0
-15 -5 -12 0
-15 -6 2 0
-13 7 -10 0
6 -15 8 0
-10 -13 -15 0
-12 -14 1 0
1 -7 3 0
-2 -6 15 0
-1 -8 9 0
4 15 10 0
-2 10 9 0
6 15 -4 0
-14 -2 9 0
8 7 3 0
14 -1 -7 0
-3 6 4 0
14 9 -7 0
10 -15 -8 0
15 -7 5 0
-9 10 -6 0
4 -15 -5 0
2 -10 3 0
13 -5 8 0
-9 -5 14 0
13 -5 -12 0
1 -5 9 0
1 -14 15 0
-12 3 -5 0
-4 -6 14 0
-6 10 11 0
-12 -5 7 0
4 -3 -5 0
1 3 -4 0
-8 -10 9 0
6 -8 9 0
-9 -2 -1 0
-15 -13 -6 0
1 -2 -11 0
-14 -3 2 0
-6 2 13 0
12 -8 6 0
15 -13 -3 0
13 6 8 0
-1 -13 -5 0
10 -1 -11 0
-1 -13 -3 0
7 -6 14 0
-2 11 -7 0
15 -9 -14 0
4 -13 9 0
12 -9 15 0
13 4 -3 0
-1 2 10 0
-10 -5 15 0
-15 -11 -6 0
-13 -14 -7 0
-2 -3 -4 0
%