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: Me diga o nome para o tempo de 25.74.
 ###Tabelas: CREATE TABLE by_electorate (by_electorate_id AUTO_INCREMENT PRIMARY KEY, Region VARCHAR, Enrolled men INT, Enrolled women INT, Enrolled total INT, Men of voting age INT, Women of voting age INT, Voting age population INT, E/VAP ratio Men VARCHAR, E/VAP ratio Women VARCHAR, E/VAP ratio Total VARCHAR) CREATE TABLE official_callanetics_books (official_callanetics_books_id AUTO_INCREMENT PRIMARY KEY, Year INT, Title VARCHAR, Publisher VARCHAR, Release Date VARCHAR, Copyright Information VARCHAR, ISBN INT) CREATE TABLE semifinal_1 (semifinal_1_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Lane INT, Name VARCHAR, Nationality VARCHAR, Time INT) CREATE TABLE 1912_1922 (1912_1922_id AUTO_INCREMENT PRIMARY KEY, Class VARCHAR, Wheel arrangement VARCHAR, Fleet number(s) VARCHAR, Manufacturer VARCHAR, Year made VARCHAR, Quantity made VARCHAR, Quantity preserved VARCHAR, Year(s) withdrawn VARCHAR) CREATE TABLE others_awards_and_nominations (others_awards_and_nominations_id AUTO_INCREMENT PRIMARY KEY, Year INT, Result VARCHAR, Award VARCHAR, Category VARCHAR, Nominated work VARCHAR)  
SELECT Name FROM semifinal_1 WHERE Time = 25.74