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 main():
    count_of_edges = 6
    edges_left = count_of_edges
    raw_array = raw_input().split(" ")
    yakko = int(raw_array[0])
    wakko = int(raw_array[1])
    if yakko > wakko:
        edges_left -= yakko
    else:
        edges_left -= wakko
    edges_left += 1
    nod_of_left_and_count = nod(edges_left,count_of_edges)
    print("%d/%d" % (edges_left/nod_of_left_and_count,count_of_edges/nod_of_left_and_count))


def nod(a, b):
    while a != 0 and b != 0:
        if a > b:
            a = a % b
        else:
            b = b % a
    return a+b

if __name__ == "__main__":
    main()