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