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