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