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