What IHSAA clas is the school with a county number of 12 clinton and the hornets as their mascot?
CREATE TABLE table_name_80 (ihsaa_class VARCHAR, _number___county VARCHAR, mascot VARCHAR)
SELECT ihsaa_class FROM table_name_80 WHERE _number___county = "12 clinton" AND mascot = "hornets"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_80 (ihsaa_class VARCHAR, _number___county VARCHAR, mascot VARCHAR) Question: What IHSAA clas is the school with a county number of 12 clinton and the hornets as their mascot? [/INST] SELECT ihsaa_class FROM table_name_80 WHERE _number___county = "12 clinton" AND mascot = "hornets" </s>