巷道掘进接近小窑采空区时窑进行超前探水。小窑采空区积水量可用公式W_静＝KMF/cosa估算，式中K表示采空区充水系数，为（）。