CREATE TABLE table_name_31 (college VARCHAR(255), overall VARCHAR(255))
Which college had an overall pick of 9?
    
SQL: SELECT college FROM table_name_31 WHERE overall = 9