it's a 12.57 i think but i'm too lazy to check

[re-timed to be 12.07 with the current timing method. -Rapid_]