Based on my run today, maybe running the 10K in 57 minutes was okay.