aim-50-2_0-no-3.cnf

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