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"