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