Table schema:
CREATE TABLE table_name_2 (name VARCHAR, time VARCHAR)

Question: Tell me the name for time of 25.74
SQL: SELECT name FROM table_name_2 WHERE time = 25.74