要挖一个容积是9.42立方米的圆柱形水池,池口半径是1米.池深多少米?