c FILE: aim-50-1_6-no-2.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
5 17 37 0
24 28 37 0
24 -28 40 0
4 -28 -40 0
4 -24 29 0
13 -24 -29 0
-13 -24 -29 0
-4 10 -17 0
-4 -10 -17 0
26 33 -37 0
5 -26 34 0
33 -34 48 0
33 -37 -48 0
5 -33 -37 0
2 -5 10 0
2 -5 -10 0
-2 15 47 0
15 30 -47 0
-2 -15 30 0
20 -30 42 0
-2 20 -30 0
13 -20 29 0
13 16 -20 0
-13 -20 31 0
-13 16 -31 0
-16 23 38 0
-16 19 -38 0
-19 23 -38 0
14 -23 34 0
1 14 -34 0
-1 9 14 0
-1 -9 -23 0
-14 21 -23 0
-14 -16 -21 0
25 -35 41 0
-25 41 50 0
-35 49 -50 0
-25 -49 -50 0
-19 -48 -49 0
3 -39 44 0
1 3 -44 0
9 35 44 0
-9 -31 44 0
22 25 -44 0
-12 -43 46 0
-12 -28 -46 0
6 35 48 0
11 18 -48 0
22 38 -42 0
22 -35 -42 0
-3 11 41 0
27 28 -43 0
-15 -21 31 0
-33 39 50 0
-8 -22 -47 0
-22 -40 -47 0
39 44 -46 0
-25 -26 47 0
38 43 45 0
-6 -14 -45 0
-7 12 36 0
8 -11 45 0
27 -38 -50 0
7 -11 -36 0
-7 -41 42 0
7 21 23 0
-18 32 46 0
8 19 -36 0
-32 -45 -50 0
7 17 21 0
6 18 43 0
-6 24 -27 0
40 -41 49 0
-11 12 26 0
-3 32 -36 0
-6 36 -44 0
-3 36 42 0
-8 -11 -32 0
-18 -27 -38 0
-18 -27 -39 0