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