矿洞一直无法获取矿石,究竟什么时候能修复？