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

/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;

/* Name of the class has to be "Main" only if the class is public. */
public class p5
{

	public static void main(String[] args) throws java.lang.Exception {
		Scanner x = new Scanner(System.in);
		
		int yakko  =x.nextInt();
		int wakko = x.nextInt();
		 int max=yakko;
		 
		if(wakko > max){
			max = wakko;
		}
		if((6-max+1) ==1)
			System.out.println(1+"/"+6);
		if((6-max+1) ==2)
		System.out.println(1+"/"+3);
		
		if((6-max+1) ==3)
		System.out.println(1+"/"+2);
		
		if((6-max+1) ==4)
			System.out.println(2+"/"+3);
		if((6-max+1) ==5)
			System.out.println(5+"/"+6);
		if((6-max+1) ==6)
			System.out.println(1+"/"+1);
		

	}	
}