自 2000 年起，韩国每年都会举办 ICPC 区域赛。为了纪念今年的第 21 届区域赛，主办方决定制作一种骰子。这种纪念骰子是一个正方体，每个面上都写有一个正整数，就像普通的骰子一样；不过，这六个数字不一定是 1、2、3、4、5、6，但它们的总和必须为 21。

这种骰子有多种用途。例如，两个人可以进行如下游戏：每人从多个骰子中选择一个，然后掷出骰子。掷出数字较大的一方获胜。在这个游戏中，选择哪个骰子非常重要，因为一旦选定骰子，两人获胜的概率就确定了。假设 KyungYong 选择了下图中左侧所示的骰子，TaeCheon 选择了下图中右侧所示的骰子。那么，KyungYong 仅在 TaeCheon 掷出 1 时获胜，因此 KyungYong 获胜的概率为 2/3。

给定第一位玩家和第二位玩家的骰子，编写一个程序来计算第一位玩家获胜的概率。

输入格式

程序从标准输入读取数据。输入包含两行。第一行包含六个正整数，表示第一位玩家骰子各个面上的数字。第二行包含六个正整数，表示第二位玩家骰子各个面上的数字。每一行给出的六个整数之和均为 21，且由单个空格分隔。

输出格式

程序将结果写入标准输出。请输出一行，包含一个表示第一位玩家获胜概率的既约分数。分数应由斜杠前的分子和斜杠后的非零分母组成。斜杠前后均无空格。注意，既约分数是指分子和分母除了 1 以外没有其他公约数的分数。

样例

输入 1

3 4 3 4 3 4
1 1 1 1 8 9

输出 1

2/3

输入 2

1 2 3 4 5 6
3 4 3 4 3 4

输出 2

5/12

输入 3

1 2 3 4 5 6
8 7 2 2 1 1

输出 3

1/2