CREATE TABLE table_name_55 (total VARCHAR, set_3 VARCHAR)

What was the total with a score in set 3 of 13 25?
SELECT total FROM table_name_55 WHERE set_3 = "13–25"
SELECT "total" FROM "table_name_55" WHERE "13–25" = "set_3"