Context: 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?
Answer: SELECT MIN(highest_score) FROM table_28547332_4 WHERE average = "9.88"