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