CREATE TABLE table_28547332_4 (highest_score INTEGER, average VARCHAR(255))
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"