.
1 blackjack lceq