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