Context: CREATE TABLE table_name_55 (total VARCHAR, set_3 VARCHAR)
Question: What was the total with a score in set 3 of 13–25?
Answer: SELECT total FROM table_name_55 WHERE set_3 = "13–25"