Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Se 1:53.28 é 1:54.01, qual é o recorde mundial?
 ###Tabelas: CREATE TABLE rankings_at_season's_end (rankings_at_season's_end_id AUTO_INCREMENT PRIMARY KEY, Position INT, 2005–2006 VARCHAR, 2006–2007 VARCHAR, 2007–2008 VARCHAR, 2008–2009 VARCHAR, 2009–2010 VARCHAR) CREATE TABLE statistics (statistics_id AUTO_INCREMENT PRIMARY KEY, Sport VARCHAR, Record VARCHAR, Nation - athlete(s) VARCHAR, Date VARCHAR, Time (seconds) INT) CREATE TABLE records (records_id AUTO_INCREMENT PRIMARY KEY, World record VARCHAR, Jarmila Kratochvílová ( TCH ) VARCHAR, 1:53.28 VARCHAR, Munich , West Germany VARCHAR, 26 July 1983 VARCHAR) CREATE TABLE singles_performance_timeline (singles_performance_timeline_id AUTO_INCREMENT PRIMARY KEY, Tournament VARCHAR, 2006 VARCHAR, 2007 VARCHAR, 2008 VARCHAR, 2009 VARCHAR, 2010 VARCHAR, 2011 VARCHAR, 2012 VARCHAR) CREATE TABLE title_history (title_history_id AUTO_INCREMENT PRIMARY KEY, Wrestlers VARCHAR, Reign VARCHAR, Days held VARCHAR, Location VARCHAR, Event VARCHAR)  
SELECT World record FROM records WHERE 1:53.28 = 1:54.01