There has been no auction for the 800 MHz licenses.
The 800 MHz licenses were not in the auction.