Convert ADC value to real voltage
V = (R/4096)Vref(82K + 5.6K)/5.6K 

Which gives me about 10.6V, which I suspect is too far off from 12.0V to be explained by even 5% resistor tolerances and a few percent Vref tolerance.