what is the average enrollment when the team nickname is wolverines and founded is after 1817?
CREATE TABLE table_name_55 (enrollment INTEGER, team_nickname VARCHAR, founded VARCHAR)
SELECT AVG(enrollment) FROM table_name_55 WHERE team_nickname = "wolverines" AND founded > 1817
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_55 (enrollment INTEGER, team_nickname VARCHAR, founded VARCHAR) Question: what is the average enrollment when the team nickname is wolverines and founded is after 1817? [/INST] SELECT AVG(enrollment) FROM table_name_55 WHERE team_nickname = "wolverines" AND founded > 1817 </s>