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

from fractions import Fraction 
#citim datele din input
y, w = map(int,input().strip().split())

#gasim care are cel mai multe puncte
if y >= w:
       #7 deoarece daca Dot are aceeasi puncte ca si cel mai mare punctaj, el castiga
       numerator = 7 - y
else:
       numerator = 7 - w

#denominator o sa fie mereu 6, 6 fete are zarul
denominator = 6

#verificam daca putem simplifica cu 2
if numerator % 2 == 0:
       #daca da, simplificam si numerator si denominator-ul
       numerator /= 2
       denominator /= 2
#verificam daca putem simplifica cu 3
if numerator % 3 == 0:
       #daca da, simplificam si numaratorul si numitorul
       numerator /= 3
       denominator /= 3
#transformam rezultatul in string
result = str(int(numerator)) + "/" + str(int(denominator))
#printam rezultatul
print(result)