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