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