Question: 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"