CREATE TABLE table_name_88 (average INTEGER, rank_by_average INTEGER)
What is the average when the rank by average is more than 12?
    
SQL: SELECT SUM(average) FROM table_name_88 WHERE rank_by_average > 12