[cachews]

FWIW, "Mathematics of Poker" by Chen and Ankenman has the exact solution in an easy to use table. Basically, for each starting hand, it says the maximum stack size to shove for each hand and the maximum stack size to call a shove for each hand. For example, with 63o, you should shove from the SB with a stack of 1.7 big blinds or less, and you should call a shove from the BB with a stack of 3.0 big blinds or less. It also gives all of the weird broken cases. Like it is correct to shove 63s from the SB with 2.3 big blinds or less, but it is also correct to do it as a semibluff with between 5.1 and 7.1 big blinds (but you have to fold between 2.3 and 5.1).