What I would do, just to keep the maths easy, is design the voltage divider to divide by an integer amount. In this case, probably three. So the largest voltage presented to the microcontroller will be about 4.3V. This doesn't squeeze the absolute maximum resolution out of the ADC, because it doesn't use the full 0-5V scale, but it's close enough.