.
3 blackjack dnnf