Verifier Note: retimed to 12.167
// Hornet Comments: RTA taken as LRT for leaderboard formatting (submitted 0:00:12.250)
