Table schema:
CREATE TABLE table_28547332_4 (highest_score INTEGER, average VARCHAR)

Question: What is the highest score in those games where the average is 9.88?
SQL: SELECT MIN(highest_score) FROM table_28547332_4 WHERE average = "9.88"