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