user: Question: Tell me the highest year for result of 9th
Columns: ['Year', 'Tournament', 'Venue', 'Result', 'Extra']
Types: ['real', 'text', 'text', 'text', 'text']
Sample row: [1998.0, 'World Cross Country Championships', 'Marrakech , Morocco', '25th', 'Short race']
SQL:

assistant: SELECT MAX("Year") FROM "Table" WHERE "Result" = '9th';