c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 100  430 
 37 -13 4 0
-80 55 -32 0
-97 83 -72 0
48 -71 8 0
42 8 -48 0
14 75 -11 0
-28 -2 20 0
-15 -70 28 0
-47 3 20 0
57 -52 -15 0
3 4 26 0
-80 48 51 0
-44 21 94 0
21 -53 40 0
-63 16 61 0
-71 9 -38 0
-64 -76 -36 0
-6 3 54 0
98 -61 56 0
84 -30 34 0
-56 -67 -47 0
79 -15 51 0
75 -82 35 0
-31 -56 -3 0
5 76 -99 0
77 -76 63 0
98 -47 28 0
81 -36 85 0
-58 -94 -99 0
30 85 -68 0
-25 99 63 0
1 -20 78 0
32 -49 75 0
-60 -22 32 0
50 12 95 0
-5 -65 16 0
-98 -53 57 0
14 72 89 0
89 56 -57 0
97 -49 -63 0
-19 54 95 0
-84 59 88 0
-73 -54 83 0
86 72 74 0
-11 16 60 0
52 48 3 0
-78 -17 68 0
-76 48 62 0
75 95 17 0
59 47 -51 0
-68 71 -27 0
79 -94 -78 0
54 -34 1 0
-60 66 3 0
-11 -73 86 0
-40 59 -76 0
27 -6 87 0
-57 5 -79 0
-65 -79 36 0
-7 64 23 0
-98 64 -72 0
-67 -57 -6 0
-98 -17 -61 0
-47 38 59 0
-32 12 76 0
68 -2 -64 0
39 -42 50 0
-1 -93 -27 0
-42 -16 37 0
-12 -30 -53 0
-88 -51 59 0
-45 -30 -75 0
5 74 61 0
-30 -77 45 0
-8 -88 -71 0
-17 62 -6 0
-9 -58 -25 0
51 -56 72 0
-41 -16 -83 0
-28 89 47 0
-53 66 -83 0
-54 49 53 0
77 -82 60 0
55 35 63 0
97 48 -33 0
64 -98 -48 0
-41 -9 -37 0
-98 63 49 0
-4 65 -77 0
10 99 -44 0
-24 4 88 0
-59 -91 52 0
62 81 2 0
53 41 -77 0
-27 -16 77 0
60 -81 -22 0
90 10 61 0
-80 -65 -25 0
-94 -28 3 0
50 -84 -25 0
-44 -14 62 0
-36 -50 23 0
-40 -72 -91 0
27 46 -94 0
-39 -66 -34 0
44 -35 -100 0
20 35 10 0
-68 70 72 0
24 -61 -71 0
67 -29 52 0
-88 35 -78 0
-47 60 12 0
58 69 12 0
54 -50 -7 0
-10 34 26 0
-4 21 -52 0
-58 55 -52 0
10 -68 22 0
-67 -51 -98 0
-70 83 98 0
-12 48 -52 0
55 -86 13 0
-59 -64 -92 0
28 52 39 0
-90 -95 96 0
-18 -2 87 0
28 18 -100 0
-65 -82 17 0
-45 89 -53 0
-95 -4 -73 0
30 -8 64 0
29 5 -45 0
-81 -10 49 0
-99 -9 100 0
29 -87 16 0
63 6 -14 0
-53 -50 95 0
64 -59 50 0
24 55 23 0
35 -1 -51 0
99 83 -71 0
-78 53 -56 0
-38 89 -45 0
-74 100 -82 0
-31 -40 -97 0
38 -75 -56 0
69 -77 12 0
-20 88 -31 0
24 11 -75 0
-1 37 -19 0
70 -55 -69 0
-85 -31 -45 0
-39 75 82 0
44 -64 31 0
98 -69 -73 0
-11 -36 45 0
-48 46 -37 0
-86 81 66 0
87 93 68 0
54 9 -5 0
-17 36 -6 0
67 -62 -13 0
-94 39 -36 0
64 93 -78 0
-67 -63 97 0
42 -6 -57 0
15 33 -34 0
83 -29 25 0
-2 -51 23 0
-68 49 -95 0
86 62 -90 0
15 23 88 0
-34 32 51 0
89 52 -88 0
43 -98 17 0
21 -48 98 0
-67 -5 -30 0
77 87 -11 0
-65 34 11 0
21 87 39 0
-74 -45 49 0
78 -22 -44 0
-86 -53 83 0
-57 -44 62 0
8 -16 93 0
-47 -26 62 0
-35 -75 39 0
-75 -68 67 0
86 -20 -90 0
53 95 -100 0
62 -88 -78 0
-41 -17 50 0
-94 70 -99 0
-7 -13 -81 0
-81 -12 62 0
31 20 -90 0
-83 -90 -32 0
55 -54 61 0
21 -93 -3 0
-97 64 32 0
7 -40 -24 0
98 66 -86 0
-92 -81 22 0
-74 16 95 0
-47 29 9 0
13 12 -70 0
33 -24 17 0
87 -44 24 0
11 70 -35 0
-50 -94 -96 0
-89 85 11 0
10 -54 61 0
-70 -58 -57 0
13 -76 -22 0
15 -30 61 0
9 77 18 0
56 -45 -92 0
-29 41 -20 0
-38 -47 61 0
-27 9 -71 0
21 27 -37 0
-77 2 -15 0
-31 47 -27 0
-37 69 7 0
38 54 10 0
68 -61 -53 0
-75 74 1 0
76 74 -65 0
-62 -61 -64 0
-70 95 -44 0
-6 -72 45 0
-57 50 -17 0
75 15 -32 0
-34 78 -16 0
89 -16 -68 0
-17 -100 42 0
3 -15 67 0
77 -46 20 0
-64 18 -13 0
51 4 -74 0
89 53 68 0
48 16 40 0
20 12 56 0
-75 -83 -57 0
46 11 75 0
-89 17 -64 0
82 94 92 0
-31 -28 -37 0
-26 42 -38 0
53 -75 9 0
39 83 -53 0
-78 19 -93 0
95 -71 -27 0
87 -82 -35 0
23 16 37 0
67 -82 -14 0
18 60 70 0
10 -24 80 0
-29 -41 -19 0
-26 88 98 0
94 85 22 0
58 22 -64 0
37 -40 -16 0
-54 -5 -11 0
-54 -93 -64 0
91 -48 -67 0
-16 12 92 0
-71 -76 63 0
-56 45 42 0
42 71 -1 0
-87 13 -4 0
24 40 70 0
38 -90 -83 0
-39 -31 20 0
-89 38 7 0
46 -28 -40 0
6 4 -75 0
-57 -11 66 0
-95 17 -59 0
-64 -50 2 0
99 -20 69 0
53 4 -36 0
-11 79 -69 0
-16 31 -72 0
70 35 71 0
-22 45 70 0
22 -49 -38 0
61 -50 63 0
52 16 -89 0
-96 91 8 0
67 36 78 0
-38 -26 71 0
69 -36 -91 0
50 23 92 0
12 44 4 0
52 77 -53 0
52 50 -82 0
-64 93 -92 0
30 74 86 0
34 23 -78 0
55 93 -65 0
63 -74 26 0
-2 60 -42 0
56 -45 -40 0
-75 100 73 0
40 -91 6 0
80 60 -1 0
-56 -5 -57 0
64 -54 -16 0
54 69 80 0
40 -60 7 0
-73 44 -63 0
70 5 -71 0
98 -65 22 0
-94 21 86 0
-90 87 66 0
-99 -5 73 0
-28 -48 27 0
-67 -72 -92 0
-5 -79 80 0
-96 42 13 0
-91 -36 49 0
86 25 74 0
39 -89 19 0
-90 81 -70 0
67 74 -8 0
-19 47 1 0
-68 100 79 0
-78 -66 49 0
36 -49 8 0
-73 -55 -11 0
-19 -13 -65 0
67 25 91 0
64 93 -3 0
-50 -82 20 0
-61 -60 56 0
-35 -78 -99 0
-45 15 81 0
-54 -22 65 0
50 12 72 0
-97 -69 4 0
34 24 37 0
56 -30 7 0
-99 80 46 0
78 97 -50 0
-81 30 84 0
19 -44 -58 0
85 88 91 0
-29 -26 -61 0
70 69 48 0
-99 31 -40 0
-5 -35 -3 0
-46 -49 -37 0
-8 -20 13 0
-69 -61 -59 0
-86 94 -7 0
72 44 69 0
80 55 -78 0
-67 41 -91 0
90 -8 44 0
16 80 99 0
-89 -19 -51 0
-86 32 13 0
34 -15 87 0
7 83 34 0
-55 -47 -8 0
62 57 74 0
-70 -100 58 0
29 96 19 0
-41 -26 94 0
2 -30 71 0
64 -45 96 0
63 26 -9 0
24 -37 -66 0
54 -92 -11 0
72 -67 -15 0
-81 -40 -42 0
-87 -39 24 0
66 81 69 0
16 76 -12 0
12 95 44 0
-24 -17 59 0
-64 -79 73 0
-20 -39 12 0
8 85 10 0
95 23 -27 0
58 72 -79 0
51 -1 50 0
-54 -7 62 0
99 2 16 0
-42 -15 -49 0
31 10 69 0
80 -76 -7 0
53 54 -1 0
-45 17 97 0
86 67 -32 0
-32 -64 94 0
6 -52 -96 0
7 34 -48 0
-2 -91 83 0
14 -37 74 0
29 2 72 0
42 8 -96 0
-31 26 -10 0
44 34 -47 0
34 -45 33 0
-14 19 6 0
29 83 15 0
100 50 -60 0
64 -72 -26 0
7 31 -1 0
43 51 9 0
-56 -64 32 0
-5 -87 100 0
-57 -59 -99 0
38 76 -27 0
28 58 14 0
86 62 14 0
-67 37 -87 0
-93 57 40 0
87 76 -84 0
-76 -42 -56 0
-39 -63 -23 0
53 46 -91 0
-19 -5 -49 0
66 -81 -62 0
47 -69 -17 0
-63 97 57 0
41 2 -83 0
-22 59 -98 0
%
0