user: Question: What is the average maximum height of the shell smaller than 12.5 lb that reached its maximum height at 25° in 10.1 seconds?
Columns: ['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: ['real', 'real', 'text', 'real', 'real', 'real']
Sample row: [1990.0, 12.5, '10.1', 15.5, 22.1, 19000.0]
SQL:

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