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