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