Len just wrote a multiple-choice test with 15 questions, each having four choices. Len is sure that he got ex- actly 9 of the first 12 questions correct, but he guessed randomly on the last 3 questions. What is the probabil- ity that he will get at least 80% on the test?