The drill pipe is 5.5 meters long, the borehole diameter is 64 millimeters, and the drilling can be completed in about 4 minutes.