What is the enrollment for the AAAA class in IHSAA?
CREATE TABLE table_name_85 (enrollment INTEGER, ihsaa_football_class VARCHAR)
SELECT SUM(enrollment) FROM table_name_85 WHERE ihsaa_football_class = "aaaa"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_85 (enrollment INTEGER, ihsaa_football_class VARCHAR) Question: What is the enrollment for the AAAA class in IHSAA? [/INST] SELECT SUM(enrollment) FROM table_name_85 WHERE ihsaa_football_class = "aaaa" </s>