I have an alternative time, in case I stopped at the wrong moment, It's 9:37. I also used shorter human mode.

mod note: retimed to 9:14.833 on June 13th, 2022.