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

1/6
 1/2
 1/2
 2/3
 1/6
 1/6
 1/3
 1/6
 1/2
 2/3
 2/3
 1/3
 1/1
 5/6
 2/3
 1/3
 1/6
 1/6
 2/3
 1/2
 5/6
 1/6
 5/6
 1/6
 1/3
 1/3
 1/3
 1/6
 1/6
 1/3
 1/2
 1/3
 1/2
 1/6
 1/3

num=list(map(int,input().split()))
outcomes=[1,2,3,4,5,6]
num.sort()
f=num[1]
outcome=outcomes[f-1:6]
count=len(outcome)
fact_down=[6,3,2,1]
fact_up=[1]
if count%2==0:
    fact_up.append(2)
if count % 3 == 0:
    fact_up.append(3)
if count%6==0:
    fact_up.append(6)
fact_up.reverse()
numerator=int(count/fact_up[0])
denominator=int(6/fact_up[0])
print(numerator, end="/")
print(denominator)