要挖一个底面周长为6.28的圆柱形蓄水池,要使蓄水池能蓄水9.42吨.这个水池要挖多深?