aim-50-1_6-yes1-2.cnf

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