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