CREATE TABLE table_name_12 (score VARCHAR(255), time VARCHAR(255), set_3 VARCHAR(255))
What is the score with a time at 18:00 and a score for set 3 of 13–25?
    
SQL: SELECT score FROM table_name_12 WHERE time = "18:00" AND set_3 = "13–25"