.
blackjack chart cbmc