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