9.14.best
Polygonal ropelength: 80.16 / Bound: 80.13
)
)
)