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

def GetCommonFacts(n,d):
    facts=[]
    new_n=n
    new_d=d
    for i in range(2,n+1):
        if n%i==0 and d%i==0:
            new_d /= i
            new_n /= i
    return new_n,new_d

y,w=map(int,raw_input().split())

numerator=7-max(y,w)
denominator=6

if numerator<=1:
    print '0/1'
else:
    numerator,denominator=GetCommonFacts(numerator,denominator)
    print str(numerator)+'/'+str(denominator)
