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