CREATE TABLE table_name_2 (name VARCHAR(255), time VARCHAR(255))
Tell me the name for time of 25.74
    
SQL: SELECT name FROM table_name_2 WHERE time = 25.74