.
blackjack two deck strategy mcoq