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

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

import java.io.*;







/**
 *
 * @author KONIG
 */

    
public class JavaApplication4 {
    StreamTokenizer in;
    BufferedReader inb;
    PrintWriter out;
    boolean console=true;

   



    public static void main(String[] args) throws Exception {
        // TODO code application logic here
        new JavaApplication4().run();
    }
    public void run() throws Exception{
        inb=new BufferedReader(((console)? new InputStreamReader(System.in):new FileReader("input.txt")));
        in=new StreamTokenizer(inb);
        out=new PrintWriter(((console)? new OutputStreamWriter(System.out):new FileWriter("output.txt")));
        solve();
        out.flush();
        
    }
    int nextInt() throws Exception{
        in.nextToken();
        return (int) in.nval;
    }
    double nextDouble() throws Exception {
        in.nextToken();
        return in.nval;
    }
    String next() throws Exception {
        in.nextToken();
        return in.sval;
    }
    int nod(int n,int m){
        if(n<m){
            int tmp=n;
            n=m;
            m=tmp;
        }
        if(n%m==0){
            return m;
        }
        else{
        while(n%m!=0){
            int tmp=m;
            m=n%m;
            n=tmp;
        }
        return m;
    }
    }
  public void solve() throws Exception {
  int n=nextInt();
  int m=nextInt();
  double ver=0;
  if(n>m){
      ver=(7-n)*1.0/6;
  }
  else{
      ver=(7-m)*1.0/6;
  }
  if(ver==0){
      out.print(0+"/"+1);
  }
  else if(ver==1){
      out.print(1+"/"+1);
  }
  
  else{
  if(n>m){
      out.print((7-n)/nod(6,7-n)+"/"+7/nod(6,7-n));
  }
  else{
     out.print((7-m)/nod(6,7-m)+"/"+7/nod(6,7-m)); 
  }
}
 
}
}

   
     