Instruct: If 1:53.28 is 1:54.01, what is the world record?
Output: SELECT World record FROM table WHERE 1:53.28 = 1:54.01