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

#!/usr/bin/python3

import sys
import argparse
import json

def main():
    y, w = map(int, sys.stdin.readline().rstrip().split(" "))

    d = (6 - max(y, w) + 1)/6

    num, den = d.as_integer_ratio()

    print("%s/%s" % (num, den))


def get_tests():
    #tests = [("512 4", "50")]

    for test in tests:
        print(json.dumps({"input": test[0], "output": test[1]}))

if __name__ == "__main__":
    parser = argparse.ArgumentParser()
    parser.add_argument("--get-tests", action="store_true")
    args = parser.parse_args()

    if args.get_tests:
        get_tests()
    else:
        main()
