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