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