AT_abc407_b.[ABC407B] P(X or Y)

有两个每一面分别为 $1,2,3,4,5,6$ 的六面骰子，现在投掷两个骰子，求出下面两个条件至少满足一个的概率。

• 两个骰子的点数之和大于或等于 $X$。
• 两个骰子点数之差的绝对值大于或等于 $Y$。

骰子每个面的可能性是相同的，两个骰子是独立的，一个骰子投出的点数不影响另一个骰子投出的点数。

输入共一行，两个整数 $X,Y$。

输出两个条件至少满足一个的概率。你的答案被判为正确当且仅当你的答案和正确答案的绝对误差小于 ${10}^{-9}$。

数据范围

$2 \le X \le 13,\ 0 \le Y \le 6$

样例解释 #1

记两个骰子的点数分别为 $x$ 和 $y$，以下用 $(x,y)$ 表示每一种结果。

• 两个骰子点数的和至少为 $9$ 的结果有 $(3,6),(4,5),(4,6),(5,4),(5,5),(5,6),(6,3),(6,4),(6,5),(6,6)$。
• 两个骰子点数差的绝对值至少为 $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$ 种，可能的结果有 $36$ 种，因此答案为 $\dfrac{20}{36}=\dfrac{5}{9}=0.55555555555555\ldots$。由于你的答案被允许与标准答案有小于 ${10}^{-9}$ 的绝对误差，因此输出 0.5555555565、0.55555555456789 等都会被认为正确。

样例解释 #2

两个骰子点数的和不可能大于等于 $13$，点数差的绝对值也不可能大于等于 $6$，因此答案是 $0$。