三个人 Yakko、Wakko 和 Dot 各掷一次标准六面骰子（点数为 $1$ 到 $6$）。Yakko 掷出了 $Y$ 点，Wakko 掷出了 $W$ 点，现在轮到 Dot 掷骰子。

规则如下：

• 点数最高者获胜；
• 如果 Dot 的点数与最高点数相同，则 Yakko 和 Wakko 会让 Dot 获胜（即 Dot 与最高点数打平也算赢）。

请计算 Dot 获胜的概率，并用最简分数形式输出。

输入格式

一行两个自然数 $Y$ 和 $W$，分别表示 Yakko 和 Wakko 掷出的点数。

输出格式

输出一个最简分数 A/B 表示 Dot 获胜的概率。 若概率为 $0$ 输出 0/1，若概率为 $1$ 输出 1/1。

样例

输入

4 2

输出

1/2