.
blackjack 3 decks wcet