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