题目描述

Yakko、Wakko 和 Dot 是世界著名的 Animaniacs。他们决定暂时从动画演出中休息一下，休假去旅游。Yakko 梦想着去宾夕法尼亚州——他和祖先的家乡。Wakko 想到塔斯马尼亚的海滩、阳光和大海。Dot 则选择了特兰西瓦尼亚，因为这是最神秘和不可预测的地方。

但很遗憾，这次假期太短了，他们只能去上述三个地方中的一个。因此，Yakko 作为最聪明的人，想到了一个极妙的主意：让他们每个人都掷一次普通的六面骰子，得分最高的人获胜，并带其他两人去自己梦想的地方。

Yakko 扔出了骰子，得到了 $Y$ 分；Wakko 得到了 $W$ 分。接下来轮到 Dot 了。不过她并不着急。Dot 想要确切知道自己去特兰西瓦尼亚的概率有多少。

已知 Yakko 和 Wakko 都是真正的绅士，如果他们与 Dot 得分相同，就会让 Dot 获胜。

输入格式

输入包含一行，包含两个正整数 $Y$ 和 $W$，表示 Yakko 和 Wakko 掷骰子的结果。

输出格式

输出 Dot 获胜的概率，要求以最简分数的形式表示，格式为「A/B」，其中 $A$ 为分子，$B$ 为分母。如果概率为 $0$，则输出「0/1」；如果概率为 $1$，则输出「1/1」。

说明/提示

如果 Dot 能掷出 $4$、$5$ 或 $6$ 点，则她将去特兰西瓦尼亚。

由 ChatGPT 5 翻译

样例

4 2

1/2