Question: 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"