AT_abc193_d [ABC193D] Poker

[problemUrl]: https://atcoder.jp/contests/abc193/tasks/abc193_d $ 1,\ 2,\ \dots,\ 9 $ が表に書かれたカードが $ K $ 枚ずつ、計 $ 9K $ 枚のカードがあります。 これらのカードをランダムにシャッフルして、高橋くんと青木くんにそれぞれ、$ 4 $ 枚を表向きに、$ 1 $ 枚を裏向きにして配りました。 高橋くんに配られたカードが文字列 $ S $ として、青木くんに配られたカードが文字列 $ T $ として与えられます。 $ S,\ T $ は $ 5 $ 文字の文字列で、先頭 $ 4 $ 文字は `1`, `2`, $ \dots $, `9` からなり、表向きのカードに書かれた数を表します。 末尾 $ 1 $ 文字は `#` であり、裏向きのカードであることを表します。 $ 5 $ 枚の手札の点数を、$ c_i $ をその手札に含まれる $ i $ の枚数として、$ \displaystyle\ \sum_{i=1}^9\ i\ \times\ 10^{c_i} $ で定義します。 高橋くんが青木くんより点数の高い手札を持っていたら高橋くんの勝ちです。 高橋くんの勝つ確率を求めてください。

入力は以下の形式で標準入力から与えられる。 > $ K $ $ S $ $ T $

高橋くんの勝つ確率を小数で出力せよ。 想定解答との絶対誤差または相対誤差が $ 10^{-5} $ 以下であれば正解と判定される。

### 制約 - $ 2\