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.*;

public class Probabilities
{

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

        String input[]=reader.readLine().split(" ");

        double y=Double.parseDouble(input[0]);
        double w=Double.parseDouble(input[1]);
       double max=0; 
        if(y>w)
        {
        max=y;
        }
        else
        {
        max=w;
        }

        System.out.println(toFraction((7-max)/6,100));

    }


    public static String toFraction(double d, int factor) {
        StringBuilder sb = new StringBuilder();
            if (d < 0) {
               sb.append('-');
                d = -d;
                }
            long l = (long) d;
           if (l != 0) sb.append(l);
             d -= l;
             double error = Math.abs(d);
             int bestDenominator = 1;
            for(int i=2;i<=factor;i++) {
          double error2 = Math.abs(d - (double) Math.round(d * i) / i);
         if (error2 < error) {
           error = error2;
          bestDenominator = i;
                  }
      }
       if (bestDenominator > 1)
       {
         sb.append(Math.round(d * bestDenominator)).append('/') .append(bestDenominator);
       }
       else if(bestDenominator>0)
       {
        return ("1/1");
       }
       else
       {
        return ("0/1");
       }
       return sb.toString();
      }

}
