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