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

# import sys
# sys.stdin = open('input.txt','r')
# sys.stdout = open('output.txt','w')



a,b= map(int,input().split())
maxi  = max(a,b)
dot = 6-maxi+1

A = dot
B = 6

# if a%b a = 1,2,3,6
if B%A == 0:
	newA = A//A
	newB = B//A
	print(str(newA)+'/'+str(newB))
# a = 4 
elif B%2 == 0 and A%2==0:
	newA = A//2
	newB = B//2
	print(str(newA)+'/'+str(newB))

else:print(str(A)+"/"+str(B))