9.12.best
Polygonal ropelength: 80.13 / Bound: 80.11
)
)
)