what is the rank when the time is 3:12.40?
CREATE TABLE table_name_70 (rank INTEGER, time VARCHAR)
SELECT SUM(rank) FROM table_name_70 WHERE time = "3:12.40"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_70 (rank INTEGER, time VARCHAR) Question: what is the rank when the time is 3:12.40? [/INST] SELECT SUM(rank) FROM table_name_70 WHERE time = "3:12.40" </s>