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

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class DieRoll {

	public static void main(String[] args) {
		BufferedReader scan = new BufferedReader(new InputStreamReader(System.in));

		String input = null;
		try {
			input = scan.readLine();
		} catch (IOException e) {
			e.printStackTrace();
		}
		String[] rolls = input.split(" ");
		int max = Integer.parseInt(rolls[0]);
		if (Integer.parseInt(rolls[1]) > Integer.parseInt(rolls[0])) {
			max = Integer.parseInt(rolls[1]);
		}

		int available = 6 - max + 1;
		int gcd = 0;
		if (available == 0) {
			System.out.println("0" + "/" + "1");
		} else if (available == 1) {
			System.out.println("1" + "/" + "1");
		} else {
			for (int i = available; i > 0; i--) {
				if ((available % i == 0) && (6 % i == 0)) {
					gcd = i;
					break;
				}
			}
			int numerator = available / gcd;
			int denomeratot = 6 / gcd;
			System.out.println(numerator + "/" + denomeratot);
		}

	}

}