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