You ABV = 9.5% and 300 calories per 12oz. With an apparent attenuation of 68.5%. There is a great website that can calculate all this and a few other brewing related stuff on BrewCalcs.com.
If you want the specific formula check out John Palmer's How to Brew guide or I'm sure any google search would yield enough info.
i don't know why brewcalcs.com is way off, but there's a little bit of discrepancy to be expected between various software because of rounding error. The 131 multiplier that we all use is a rounded number.
My guess is that its not really linear like in revvys formula. That the formula is close enough for a certain range but the computers have more complicated algorithms to find it. However I may just be talking out of my ass.