Instruct: What is the highest score in those games where the average is 9.88?
Output: SELECT MIN Highest Score FROM table WHERE Average = 9.88