题目描述

杨克、瓦克和小点点是一组世界著名的卡通角色，他们决定放下卡通表演，休息一下去旅行。杨克梦想去他的母国宾夕法尼亚，去看看他的祖先生活的地方。瓦克想去塔斯马尼亚，那里有美丽的海滩、阳光和大海。小点点选择了特兰西瓦尼亚，一个最神秘、不可预测的地方。

但令他们非常遗憾的是，假期太短了，只够时间去三个目的地之一。杨克作为最聪明的人，想出了一个真正天才的主意：让他们三个人都掷一次普通的六面骰子，得到点数最高的人将成为冠军，将带领其他两个人去他/她梦想的地方。

杨克掷出了一个骰子，得到Y点，瓦克得到了W点。接下来是小点点的机会。但是她并不着急，小点点想确保自己有机会去特兰西瓦尼亚。

已知杨克和瓦克是真正的绅士，如果他们与小点点得到的点数相同，他们会让小点点胜出。

输入格式

输入文件的唯一一行包含两个自然数Y和W，分别表示杨克和瓦克的骰子点数。

输出格式

输出所需概率的不可约分数形式，格式为“A / B”，其中A是分子，B是分母。如果所需概率等于零，则输出“0/1”。如果所需概率等于1，则输出“1/1”。

样例 #1

样例输入 #1

4 2

样例输出 #1

1/2

提示

如果小点点的点数是4、5或6，她就可以去特兰西瓦尼亚。