9.9 矿井坑木加工