仕方の無いことですが。

切り口はどうしても円形にはなっておらず、
その結果、
長くゆがんだ長さでは15mm以上ですが、
実際の平均口径は15mmにはほど遠く、

11~12mm程度と考えた方が良いです。