CREATE TABLE table_name_80 (ihsaa_class VARCHAR(255), _number___county VARCHAR(255), mascot VARCHAR(255))
What IHSAA clas is the school with a county number of 12 clinton and the hornets as their mascot?
    
SQL: SELECT ihsaa_class FROM table_name_80 WHERE _number___county = "12 clinton" AND mascot = "hornets"