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.*;
import java.math.*;
import java.util.*;

/**
* 
* @author Togrul Gasimov (ttogrul30@gmail.com)
*         Created on 09.09.2013
*/

public class Main {
   public static void main(String[] args) /*throws FileNotFoundException*/ { 
       InputStream inputStream = System.in;
       OutputStream outputStream = System.out;
       FastScanner in = new FastScanner(inputStream);
       FastPrinter out = new FastPrinter(outputStream);
       TaskA solver = new TaskA();
       solver.solve(1, in, out);
       out.close();
   }
}

class TaskA{
   static int gcd(int m, int n){
	   if(m < n)return gcd(n, m);
	   else if(m % n == 0)return n;
	   else return gcd(n, m % n);
   }
   public void solve(int testNumber, FastScanner scan, FastPrinter out) /*throws FileNotFoundException*/ {
       //Scanner sscan = new Scanner(new File("input.txt"));
       //PrintStream oout = new PrintStream(new File("output.txt"));
	   int a = scan.nextInt(), b = scan.nextInt();
	   if(a > b){
		   int tmp = a; a = b; b = tmp;
	   }
	   int k = gcd(6, 7 - b);
	   out.println(((7 - b) / k) + "/" + (6 / k));
	   //max = b;
	   
       //sscan.close();
       //oout.close();
   }
}

class FastScanner extends BufferedReader {
   public FastScanner(InputStream is) {
       super(new InputStreamReader(is));
   }
   
   public int read() {
       try{
           int ret = super.read();
           return ret;
       }catch(Exception e){
           throw new InputMismatchException();
       }
   }
   
   public String next() {
       StringBuilder sb = new StringBuilder();
       int c = read();
       while (isWhiteSpace(c)) {
           c = read();
       }
       if (c < 0) {
           return null;
       }
       while (c >= 0 && !isWhiteSpace(c)) {
           sb.appendCodePoint(c);
           c = read();
       }
       return sb.toString();
   }
   
   static boolean isWhiteSpace(int c) {
       return c >= 0 && c <= 32;
   }
   
   public int nextInt() {
       int c = read();
       while (isWhiteSpace(c)) {
           c = read();
       }
       int sgn = 1;
       if (c == '-') {
           sgn = -1;
           c = read();
       }
       int ret = 0;
       while (c >= 0 && !isWhiteSpace(c)) {
           if (c < '0' || c > '9') {
               throw new NumberFormatException("digit expected " + (char) c
                       + " found");
           }
           ret = ret * 10 + c - '0';
           c = read();
       }
       return ret * sgn;
   }
   
   public long nextLong() {
       return Long.parseLong(next());
   }
   
   public double nextDouble() {
       return Double.parseDouble(next());
   }
   
   public BigInteger nextBigInteger() {
       return new BigInteger(next());
   }
   
   public BigDecimal nextBigDecimal(){
       return new BigDecimal(next());
   }
   
   public String readLine(){
       try{
           return super.readLine();
       }catch(IOException e){
           return null;
       }
   }
}

class FastPrinter extends PrintWriter {
   
   public FastPrinter(OutputStream out) {
       super(out);
   }
   public FastPrinter(Writer out) {
       super(out);
   }
}