Time Determination of Gas Extraction in Coal Seam Drilling. Issue 4 (April 2020)