Reclaimed WR without retime. Not sure how accurate. Some optimization can be done in a specific section, but I can't see the run going below 11 seconds.

Verifier edit: Retimed to 12.215s.