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