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/env python3
# -*- coding: utf-8 -*-
"""
Created on Sat Oct 24 13:58:05 2020

@author: fayedanik
"""



from sys import stdin,stdout

def gcd(a,b):
    if a==0:
        return b
    else:
        return gcd(b%a,a)
        

def main():
    R = stdin.readline
    W = stdout.write
    y,w = map(int, R().strip().split()) 
    x= max(y,w)
    up = 7-x
    down = 6
    g = gcd(up,down)
    up = up / g;
    down = down / g;
    W(str(int(up))+'/'+str(int(down))+'\n')

main()