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