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