.
a blackjack card probability xcdf