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