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"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What IHSAA clas is the school with a county number of 12 clinton and the hornets as their mascot? ### Input: CREATE TABLE table_name_80 (
    ihsaa_class VARCHAR,
    _number___county VARCHAR,
    mascot VARCHAR
) ### Response: SELECT ihsaa_class FROM table_name_80 WHERE _number___county = "12 clinton" AND mascot = "hornets"