user: Question: Where the height range is higher than 20000.0 and the shell weight is 12.5, what is the time to feet ratio at 25 degrees?
Columns: ['Gun', 'm/v ft/s', 'Shell (lb)', 'Time to ft (m) at 25° (seconds)', 'Time to ft (m) at 40° (seconds)', 'Time to ft (m) at 55° (seconds)', 'Max. height (ft)']
Types: ['text', 'real', 'text', 'text', 'text', 'text', 'real']
Sample row: ['QF 13 pdr 9 cwt', 1990.0, '12.5', '10.1', '15.5', '22.1', 19000.0]
SQL:

assistant: SELECT "Time to ft (m) at 25° (seconds)" FROM "Table" WHERE "Shell (lb)" = '12.5' AND "Max. height (ft)" > 20000.0;