Texas hold 'em

Time Limit : 8 sec, Memory Limit : 262144 KB

Problem Statement

Texas hold 'em is one of the standard poker games, originated in Texas, United States.
It is played with a standard deck of 52 cards, which has 4 suits (spades, hearts, diamonds and clubs) and 13 ranks (A, K, Q, J and 10-2), without jokers.

With betting aside, a game goes as described below.

At the beginning each player is dealt with two cards face down.
These cards are called hole cards or pocket cards, and do not have to be revealed until the showdown.
Then the dealer deals three cards face up as community cards, i.e. cards shared by all players.
These three cards are called the flop.
The flop is followed by another community card called the turn then one more community card called the river.

After the river, the game goes on to the showdown.
All players reveal their hole cards at this point.
Then each player chooses five out of the seven cards, i.e. their two hole cards and the five community cards, to form a hand.
The player forming the strongest hand wins the game.
There are ten possible kinds of hands, listed from the strongest to the weakest:

Royal straight flush: A, K, Q, J and 10 of the same suit. This is a special case of straight flush.

Straight flush: Five cards in sequence (e.g. 7, 6, 5, 4 and 3) and of the same suit.

Four of a kind: Four cards of the same rank.

Full house: Three cards of the same rank, plus a pair of another rank.

Flush: Five cards of the same suit, but not in sequence.

Straight: Five cards in sequence, but not of the same suit.

Three of a kind: Just three cards of the same rank.

Two pairs: Two cards of the same rank, and two other cards of another same rank.

One pair: Just a pair of cards (two cards) of the same rank.

High card: Any other hand.

For the purpose of a sequence, J, Q and K are treated as 11, 12 and 13 respectively.
A can be seen as a rank either next above K or next below 2, thus both A-K-Q-J-10 and 5-4-3-2-A are possible (but not 3-2-A-K-Q or the likes).

If more than one player has the same kind of hand, ties are broken by comparing the ranks of the cards.
The basic idea is to compare first those forming sets (pairs, triples or quads) then the rest cards one by one from the highest-ranked to the lowest-ranked, until ties are broken.
More specifically:

Royal straight flush: (ties are not broken)

Straight flush: Compare the highest-ranked card.

Four of a kind: Compare the four cards, then the remaining one.

Full house: Compare the three cards, then the pair.

Flush: Compare all cards one by one.

Straight: Compare the highest-ranked card.

Three of a kind: Compare the three cards, then the remaining two.

Two pairs: Compare the higher-ranked pair, then the lower-ranked, then the last one.

One pair: Compare the pair, then the remaining three.

High card: Compare all cards one by one.

The order of the ranks is A, K, Q, J, 10, 9, ..., 2, from the highest to the lowest,
except for A next to 2 in a straight regarded as lower than 2.
Note that there are exceptional cases where ties remain.
Also note that the suits are not considered at all in tie-breaking.

Here are a few examples of comparison (note these are only intended for explanatory purpose; some combinations cannot happen in Texas Hold 'em):

J-J-J-6-3 and K-K-Q-Q-8.

The former beats the latter since three of a kind is stronger than two pairs.

J-J-J-6-3 and K-Q-8-8-8.

Since both are three of a kind, the triples are considered first, J and 8 in this case.
J is higher, hence the former is a stronger hand.
The remaining cards, 6-3 and K-Q, are not considered as the tie is already broken.

Q-J-8-6-3 and Q-J-8-5-3.

Both are high cards, assuming hands not of a single suit (i.e. flush).
The three highest-ranked cards Q-J-8 are the same, so the fourth highest are compared.
The former is stronger since 6 is higher than 5.

9-9-Q-7-2 and 9-9-J-8-5.

Both are one pair, with the pair of the same rank (9).
So the remaining cards, Q-7-2 and J-8-5, are compared from the highest to the lowest,
and the former wins as Q is higher than J.

Now suppose you are playing a game of Texas Hold 'em with one opponent, and the hole cards and the flop have already been dealt.
You are surprisingly telepathic and able to know the cards the opponent has.
Your ability is not, however, as strong as you can predict which the turn and the river will be.

Your task is to write a program that calculates the probability of your winning the game,
assuming the turn and the river are chosen uniformly randomly from the remaining cards.
You and the opponent always have to choose the hand strongest possible.
Ties should be included in the calculation, i.e. should be counted as losses.

Input

The input consists of multiple datasets, each of which has the following format:

Each dataset consists of three lines.
The first and second lines contain the hole cards of yours and the opponent's respectively.
The third line contains the flop, i.e. the first three community cards.
These cards are separated by spaces.

Each card is represented by two characters.
The first one indicates the suit: S (spades), H (hearts), D (diamonds) or C (clubs).
The second one indicates the rank: A, K, Q, J, T (10) or 9-2.

The end of the input is indicated by a line with #.
This should not be processed.

Output

Print the probability in a line.
The number may contain an arbitrary number of digits after the decimal point,
but should not contain an absolute error greater than 10^{-6}.