AT_abc407_b [ABC407B] P(X or Y)

$ 1,2,3,4,5,6 $ の $ 6 $ 種類の目が出るサイコロを $ 2 $ つ振ったときに、次の $ 2 $ つの条件の少なくとも一方を満たす確率を求めてください。 - $ 2 $ つの出目の合計が $ X $ 以上である。 - $ 2 $ つの出目の差の絶対値が $ Y $ 以上である。 ここで、どちらのサイコロについても $ 6 $ 種類のどの目が出るかは同様に確からしく、それぞれのサイコロの出目は独立であるとします。

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

$ 2 $ つのサイコロの出目が $ 2 $ つの条件の少なくとも一方を満たす確率を出力せよ。 出力された値と真の値との絶対誤差が $ 10 ^ {-9} $ 以下のとき、正答と判定される。

### Sample Explanation 1 $ 2 $ つのサイコロの出目がそれぞれ $ x $ と $ y $ であることを $ (x,y) $ で表すことにすると、それぞれの条件を満たすのは次の場合です。 - $ 2 $ つのサイコロの出目の和が $ 9 $ 以上になるのは、 $ (3,6),(4,5),(4,6),(5,4),(5,5),(5,6),(6,3),(6,4),(6,5),(6,6) $ のとき - $ 2 $ つのサイコロの出目の差が $ 3 $ 以上になるのは、 $ (1,4),(1,5),(1,6),(2,5),(2,6),(3,6),(4,1),(5,1),(5,2),(6,1),(6,2),(6,3) $ のとき これらの条件の少なくとも一方を満たすのは $ (1,4),(1,5),(1,6),(2,5),(2,6),(3,6),(4,1),(4,5),(4,6),(5,1),(5,2),(5,4),(5,5),(5,6),(6,1),(6,2),(6,3),(6,4),(6,5),(6,6) $ の $ 20 $ 通りのいずれかのときです。 よって、求める答えは $ \dfrac{20}{36}=\dfrac59=0.5555555555\ldots $ です。 絶対誤差が $ 10 ^ {-9} $ 以下のとき正答と判定されるので、`0.5555555565` や `0.55555555456789` などと出力しても正解となります。 ### Sample Explanation 2 $ 2 $ つのサイコロの出目の和が $ 13 $ 以上になることも、差が $ 6 $ 以上になることもありません。 よって、求める答えは $ 0 $ です。 ### Constraints - $ 2\leq X\leq13 $ - $ 0\leq Y\leq6 $ - 入力はすべて整数