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