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