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