Table schema:
CREATE TABLE table_name_24 (max_height__ft_ INTEGER, time_to_ft__m__at_25°__seconds_ VARCHAR, shell__lb_ VARCHAR)

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?
SQL: SELECT AVG(max_height__ft_) FROM table_name_24 WHERE time_to_ft__m__at_25°__seconds_ = "10.1" AND shell__lb_ < 12.5