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