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