#include<bits/stdc++.h>
using namespace std;
int n,m,x,d;
int s=6;
int gcd(int a,int b)
{
	return b==0?a:gcd(b,a%b);
}
int main()
{
	cin>>n>>m;
	x=7-max(n,m);
	if(x==6)
	{
		cout<<"1/1";
		return 0;
	}
	if(x==1)
	{
		cout<<"0/1";
		return 0;
	}
	d=gcd(x,s);
	cout<<x/d<<'/'<<6/d;
	return 0;
}