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