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