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