Each student gets to do 12 quizzes and only their best 9 scores will count
towards their final grade.

Is there a possible formula that can work out the 9 best scores out of the
12 in the range and then add them together?