平巷施工时，在交通干线下部坑探施工，坑道上方覆盖岩体厚度应大于（）。