I realised that the original run that I posted as 13.92 seconds was actually longer. I deleted that and posted this, which is definitely 13.92 seconds (I have checked carefully this time).