user: Question: What is the overall pick number for a draft pick smaller than 9, named Buck Mystrom from Michigan State college?
Columns: ['Round', 'Pick', 'Overall', 'Name', 'Position', 'College']
Types: ['real', 'real', 'real', 'text', 'text', 'text']
Sample row: [1.0, 12.0, 12.0, 'Ed Vereb', 'HB', 'Maryland']
SQL:

assistant: SELECT "Overall" FROM "Table" WHERE "Pick" < 9.0 AND "College" = 'Michigan State' AND "Name" = 'Buck Mystrom';