.
3 blackjack btor