.
1 deck blackjack coqb