CREATE TABLE table_name_24 (max_height__ft_ INTEGER, time_to_ft__m__at_25°__seconds_ VARCHAR(255), shell__lb_ VARCHAR(255))
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