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