if 1:53.28 is 1:54.01, what is the world record?
african record