aim-50-1_6-no-4.cnf

c FILE: aim-50-1_6-no-4.cnf
c
c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp),
c          and Yuichi Asahiro
c
c DESCRIPTION: Artifical instances from generator by source.  Generators
c              and more information in sat/contributed/iwama.
c
c NOTE: Not Satisfiable
c
p cnf 50 80
1 32 34 0
4 5 32 0
-4 5 -34 0
-5 32 -34 0
29 -32 43 0
29 36 -43 0
29 -32 -36 0
1 3 -29 0
-3 -29 -32 0
-1 24 39 0
-1 24 -39 0
7 18 -24 0
-7 18 28 0
-7 -21 28 0
-7 17 -28 0
18 -24 -28 0
2 17 40 0
-17 -18 40 0
2 39 -40 0
2 -39 -40 0
-2 -18 35 0
-2 -18 -35 0
9 -32 41 0
-9 41 45 0
-1 -9 -45 0
-5 27 43 0
14 16 26 0
14 -16 49 0
12 -14 26 0
-12 26 35 0
26 30 -35 0
-26 30 49 0
9 13 25 0
5 -17 25 0
15 30 47 0
-20 27 -49 0
13 -20 -27 0
-13 -30 -49 0
3 8 37 0
8 23 -43 0
10 19 22 0
10 -19 22 0
-10 -19 36 0
4 21 38 0
-4 38 46 0
21 -38 -47 0
-21 45 46 0
-14 -33 -38 0
-10 11 -26 0
-14 16 -50 0
-14 -16 -23 0
-2 -23 -50 0
12 -47 50 0
7 10 48 0
-6 -13 -41 0
11 -41 -48 0
23 -41 -48 0
-15 42 48 0
-15 -21 -42 0
11 34 44 0
-27 -34 -46 0
19 28 50 0
-3 6 -35 0
-22 -40 -44 0
-25 -37 -42 0
-26 -30 -37 0
6 -31 42 0
6 -31 -33 0
-44 -45 47 0
4 20 47 0
-6 44 -46 0
-11 12 20 0
-8 10 28 0
-22 31 -36 0
7 -25 37 0
-11 31 47 0
-4 10 -12 0
-30 -31 44 0
7 15 33 0
-8 -11 33 0