Table schema:
CREATE TABLE table_name_12 (rank INTEGER, total VARCHAR, nation VARCHAR)

Question: What is the sum of rank when total is 3 and the nation is Australia?
SQL: SELECT SUM(rank) FROM table_name_12 WHERE total = 3 AND nation = "australia"