[gumpzilla]

Hmm. In my efforts so far, I'd been assuming BB would get dealt a random hand. With a specific hand that we know as SB it gets a lot easier, I think. I'm more interested in the problem where the BB has two cards that we don't know, and assuming that the information available to us is: stack sizes, our cards, and some reasonable assumptions about what range BB puts us on when we push.