Qual é a pontuação mais alta naqueles jogos onde a média é de 9,88?
CREATE TABLE table_28547332_4 (highest_score INTEGER, average VARCHAR)
SELECT MIN(highest_score) FROM table_28547332_4 WHERE average = "9.88"