What is the average when the rank by average is more than 12?
CREATE TABLE table_name_88 (average INTEGER, rank_by_average INTEGER)
SELECT SUM(average) FROM table_name_88 WHERE rank_by_average > 12
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_88 (average INTEGER, rank_by_average INTEGER) Question: What is the average when the rank by average is more than 12? [/INST] SELECT SUM(average) FROM table_name_88 WHERE rank_by_average > 12 </s>