# include<stdio.h>
# include<math.h>

	int max(int a,int b)
	{
		if(a>b)
		return a;
		else return b;}
	int main(){

	int x,y,p,gcd;
    scanf("%d\n%d",&x,&y);

	  p=max(x,y);
	  for(int i=1; i <= (7-p) && i <= 6; ++i)
    {
        // Checks if i is factor of both integers
        if((7-p)%i==0 &&6%i==0)
            gcd = i;
    }
    printf("%d/%d",((7-p)/gcd),6/gcd);
}

#include <stdio.h>
#include <stdlib.h>
int gcd (int a , int b) {
    if(b == 0) {
        return a;
    }
    else return gcd(b,a%b);
}
int main (void) {
    int first ,second,propD;
    scanf("%d%d",&first,&second);
    if (first> second) propD = 7 - first;
    else propD = 7 - second;
    int common = gcd(propD,6);
    printf("%d/%d",propD/common,6/common);
    return 0;
}

#include<stdio.h>
int main()
{int y,m,x;
scanf("%d%d",&y,&m);
if(y>m)
x=7-y;
else
x=7-m;
if(x==1)
printf("%d/6",x);
else if(x==6)
printf("1/1");
else if(x%2==0)
printf("%d/3",x/2);
else if(x==3)
printf("%d/2",x/3);
else if(x==5)
printf("%d/6",x);
}

#include <stdio.h>
#include <math.h>

int main()
{
    int x, n, m;

    scanf("%d %d", &n, &m);

    if(n>m)
    	x=n;
    if(n<m)
    	x=m;
    if(n==m)
    	x=m;
    x = 6-x+1;

    if(6%x==0)
    	printf("%d/%d", x/x, 6/x);
    else if(x==4)
    	printf("%d/%d", x/2, 6/2);
    else
    	printf("%d/6", x);
}

#include <stdio.h>
int main()
{
    unsigned short x, y, t;
    scanf("%hu%hu", &x, &y );
    t = 1 + ( 6 - ( x > y ? x : y ) );
    if( 6 == t)
        printf("1/1");
    else if( 5 == t)
        printf("5/6");
    else if( 4 == t)
        printf("2/3");
    else if( 3 == t)
        printf("1/2");
    else if( 2 == t)
        printf("1/3");
    else
        printf("1/6");

    return 0;
}

#include <stdio.h>
int main()
{
    unsigned short w, q, max, n1;
    scanf("%hu%hu", &w, &q);
    max = w > q ? w : q;
    n1 = 7 - max;
    if(1 == n1){ printf("1/6"); }
    else if(2 == n1){ printf("1/3"); }
    else if(3 == n1){ printf("1/2"); }
    else if(4 == n1){ printf("2/3"); }
    else if(5 == n1){ printf("5/6"); }
    else{ printf("1/1"); }
    return 0;
}

#include <stdio.h>

int gcd(int a, int b) {
    if (b == 0) return a;
    return gcd(b, a % b);
}

int main() {
    int x, y, count = 0;
    scanf("%d %d", &x, &y);
    for (int i = 1; i < 7; i++) {
        if (i >= x && i >= y) {
            count++;
        }
    }
    int c = gcd(count, 6);
    printf("%d/%d", count/c, 6/c);
    return 0;
}

#include<stdio.h>
#include<math.h>
#include<stdlib.h>
#include<string.h>
void max(int *a,int *b){
	if(*a<*b){
		int temp=*a;
		*a=*b;
		*b=temp;
		}
	}
int main(){
	int y,w;
	scanf("%i%i",&y,&w);
	max(&y,&w);
	int a=6-y+1;
	 if(y==1 && w==1) printf("1/1");
	 else if(a%3==0) printf("%i/2",a/3);
	 else if(a%2==0) printf("%i/3",a/2);
	 else printf("%i/6",a);
	}

#include <stdio.h>
int w, y;
int main()
{

scanf("%d %d", &w, &y);
if (w < y)
w = y;
switch (w)
{ case 1 : printf("1/1"); break;
case 2 : printf("5/6"); break;
case 3 : printf("2/3"); break;
case 4 : printf("1/2"); break;
case 5 : printf("1/3"); break;
case 6 : printf("1/6"); break;
return 0; }
}

#include<stdio.h>
int main()
{
    int a,b,max,i,count=0;
    scanf("%d %d",&a,&b);
    if(a>=b) max=a;
    else max=b;
    for(i=max;i<=6;i++)
    {
        count++;
    }
    if(count==1) printf("1/6");
    else if(count==2) printf("1/3");
        else if(count==3)printf("1/2");
        else if(count==4)printf("2/3");
        else if(count==5)printf("5/6");
        else if(count==6)printf("1/1");
    return 0;
}

#include<stdio.h>
int main()
{
    int Y,W,max,roll,n,d;
    scanf("%d %d",&Y,&W);
    if(Y<W)
    {
        max=W;
    }
    else
    {
        max=Y;
    }
    roll=7-max;
    int i;
    for(i=1; i<=6; i++)
    {
        if(roll%i==0 && 6%i==0)
        {
            n=roll/i;
            d=6/i;
        }
    }
    printf("%d/%d",n,d);
    return 0;
}

#include<stdio.h>
int main() {
	int a, b,max,num,den = 6;
	scanf("%d %d", &a, &b);
	if (a > b)
		max = a;
	else max = b;
	num = 6 - max + 1;
	if (a == b && a==1) {
		printf("1/1");
	}
	else {
		if (num % 2 == 0) {
			num /= 2;
			printf("%d/%d", num, den / 2);
		}
		else if (num % 3 == 0) {
			num /= 3;
			printf("%d/%d", num, den / 3);
		}
		else printf("%d/%d", num, den);
	}
//	system("pause");
	return 0;
}

#include<stdio.h>

int main()
{
	int i, j, k;
	scanf("%d %d", &i, &j);
	if(i<j)
		k=j;
	else
		k=i;
	if(k==1)
		printf("1/1");
	else if(k==2)
		printf("5/6");
	else if(k==3)
		printf("2/3");
	else if(k==4)
		printf("1/2");
	else if(k==5)
		printf("1/3");
	else if(k==6)
		printf("1/6");
	return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a,b ;
    scanf("%d%d", &a,&b);
    double answer = 0;

    if (a > b )
    {
        answer= (6-a+1) / 6.0;
        b = (6-a+1);

        if (answer == 1)
        {
            printf("1/1");
        }else if (answer == 0)
        {
            printf("0/1");
        }else
        {
            if (b <= 3 )
                printf("1/%d", 6/b );
           else if (b  == 4 )
                    printf("2/3");
           else
           printf("5/6");
        }
    }
else
    {
        answer= (6-b+1) / 6.0;
        a = (6-b+1);

        if (answer == 1)
        {
            printf("1/1");
        }else if (answer == 0)
        {
            printf("0/1");
        }else
        {
            if (a <= 3 )
                printf("1/%d", 6/a );
            else if (a  == 4 )
                    printf("2/3");
            else
                printf("5/6");

        }

    }
return 0;
}

#include "stdio.h"

#define BASE "%d"
typedef int Base;

int main()
{
    Base Yakko = 0;
    Base Wakko = 0;
    Base Want = 0;
    Base Total = 0;

    scanf(BASE BASE, &Yakko, &Wakko);

    if (Yakko > Wakko)
    {
        Want = 6 - Yakko + 1;
    }
    else
    {
        Want = 6 - Wakko + 1;
    }

    Total = 6;
    if (Want == 6)
    {
        printf("1/1\n");
    }
    else if (Want % 2 == 0)
    {
        printf(BASE"/"BASE"\n", Want / 2, Total / 2);
    }
    else if (Want % 3 == 0)
    {
        printf(BASE"/"BASE"\n", Want / 3, Total / 3);
    }
    else
    {
        printf(BASE"/"BASE"\n", Want, Total);
    }

    return 0;
}

#include<stdio.h>
    int f(int x,int y)
    {
        if(x%y==0)
        {
            return y;
        }
        else
        {
             return f(y,x%y);
        }
    }
    int main()
    {
        int m,n,a;int max;
        scanf("%d %d",&m,&n);
        if(m>n) max=m;
          else  max=n;
          a=7-max;
          m=a/f(6,a);
          n=6/f(6,a);
          printf("%d/%d ",m,n);
       return 0;
    }

#include<stdio.h>
#include<stdlib.h>
int fun(int ,int );
int max(int ,int );
int max(int x,int y)
{
    return (x>y)?x:y;
}
int fun(int x,int y)
{
    return (y==0)?x:fun(y,x%y);
}
int main()
{
    int a,b,tmp,ans;
    scanf("%d%d",&a,&b);
    tmp=max(a,b);
    ans=fun(6,7-tmp);
    printf("%d/%d",(7-tmp)/ans,6/ans);
    return 0;
}

#include<stdio.h>
int main()
{
	int a,b,c;
	int gys(int a,int b);
	scanf("%d%d",&a,&b);
	if(a>=b)
	{
		c=7-a;
		printf("%d/%d\n",c/gys(c,6),6/gys(c,6));
	}
	else
	{
		c=7-b;
		printf("%d/%d\n",c/gys(c,6),6/gys(c,6));
	}
	return 0;
}
int gys(int a,int b)
{
	if(b==0)return(a);
	else return(gys(b,a%b));
}

#include<stdio.h>
int main()
{
    int a,b,mmm,i,js;
    while(scanf("%d %d",&a,&b)!=EOF)
    {
        js=0;
        if(a<b)mmm=b;
        else mmm=a;
        if(mmm==1)printf("1/1\n");
        else if(mmm==2)printf("5/6\n");
        else if(mmm==3)printf("2/3\n");
        else if(mmm==4)printf("1/2\n");
        else if(mmm==5)printf("1/3\n");
        else if(mmm==6)printf("1/6\n");
    }
    return 0;
}

#include<stdio.h>
void coprime(int ,int);
int main()
{
    int y,w,d,l;
    scanf("%d%d",&y,&w);
    if((y>6) || (w>6))
    printf("invalid choice\n");
    l=(y>=w)?y:w;
    d=6-l+1;
    coprime(d,6);
    return 0;
}
void coprime(int a,int b)
{
    int i;
    for(i=2;i<=a;i++)
    {
        if(a%i==0)
        {
            if(b%i==0)
            {
                a=a/i;
                b=b/i;
                continue;
            }
        }
    }
    printf("%d/%d",a,b);
}

#include <stdio.h>
int main()
{
    int y,w,d,m;
    scanf("%d%d",&y,&w);
    m=(y>w)?y:w;
    m=6-m+1;
    switch(m){
      case 0:printf("0/1");
             break;
      case 1:printf("1/6");
             break;
      case 2:printf("1/3");
             break;
      case 3:printf("1/2");
             break;
      case 4:printf("2/3");
             break;
      case 5:printf("5/6");
             break;
      case 6:printf("1/1");
             break;
    }
    return 0;

}

#include<stdio.h>
#include<math.h>
int main(){
	int a,b,c,yes=0;
	scanf("%d%d",&a,&b);
	int x=7-fmax(a,b);
	if(6%x==0)
		printf("1/%d",6/x);
	else{
		for(int i=x;i>=2;i--){
			if(x%i==0&&6%i==0){
				printf("%d/%d",x/i,6/i);
				yes=1;
				break;
			}
		}
		if(yes==0) printf("%d/6",x);
	}
	return 0;
}

#include <stdio.h>
int main()
{
    int a, b, c=0, d, l;
    scanf("%d %d", &a, &b);

    if(a>=b) d=a;
    else d=b;

    for(l=d;l<=6;l++) c=c+1;

    if(c==1) printf("1/6");
    else if(c==2) printf("1/3");
    else if(c==3) printf("1/2");
    else if(c==4) printf("2/3");
    else if(c==5) printf("5/6");
    else if(c==6) printf("1/1");

    return 0;
}

#include<stdio.h>

int main(){
	int a[2];
	scanf("%d %d",&a[0],&a[1]);
	int max;
	int count;
	max=(a[0]>=a[1])?a[0]:a[1];
	count=(7-max);
	if(6%count==0){
		printf("1/%d",6/count);
	}
	else if(count%2==0){
		printf("%d/%d",count/2,3);
	}
	else if(count%3==0){
		printf("%d/%d",count/3,2);
	}
	else if(6%count!=0){
		printf("%d/%d",count,6);
	}
	return(0);
}

#include<stdio.h>
main()
{
    int y,w,i,x,c=0,a,b;
    scanf("%d%d",&y,&w);
    if(y>w)
        x=y;
    else
        x=w;
    for(i=x;i<=6;i++)
        c=c+1;
        a=6/c;
    if(c==4)
        printf("2/3");
    else if(c==5)
        printf("5/6");
    else
        printf("1/%d",a);

}

#include<stdio.h>
int main()
{
   int max,a,b,count=0;
   scanf("%d%d",&a,&b);
   if(a>=b)
   {
     max=a;
   }
   else max=b;
   while(max<=6)
   {
       count++;
       max++;
   }
   if(count==1||count==5)
   {
       printf("%d/6",count);
   }
   else if(count==2)
   printf("1/3");
   else if(count==3)
   printf("1/2");
   else if(count==4)
   printf("2/3");
   else if (count==6)
   printf("1/1");
   return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    unsigned short yakko=0;
    unsigned short wakko=0;
    unsigned char numerator=0;
    unsigned char dominator=0;
    unsigned char temp=0;

    scanf("%hu %hu",&yakko,&wakko);

    if(yakko>wakko)
    {
        temp=7-yakko;
        numerator=temp;
        dominator=6;
        if(numerator%dominator==0||dominator%numerator==0)
        {
            printf("%hi/%hi",(1),(6/temp));

        }
        else
        {   if(dominator%2==0&&numerator%2==0)
            {
                numerator=numerator/2;
                dominator=dominator/2;
                printf("%hi/%hi",numerator,dominator);

            }
            else
            printf("%hi/%hi",numerator,dominator);
        }

    }
    else
    {
        temp=7-wakko;
        numerator=temp;
        dominator=6;
        if(numerator%dominator==0||dominator%numerator==0)
        {
            printf("%hi/%hi",(1),(6/temp));

        }
        else
        {
             if(dominator%2==0&&numerator%2==0)
            {
                numerator=numerator/2;
                dominator=dominator/2;
                printf("%hi/%hi",numerator,dominator);

            }
            else
            printf("%hi/%hi",numerator,dominator);
        }

    }

    return 0;
}

#include <stdio.h>
int main()
{
    int a,b,c=1,m;
    scanf("%d %d",&a,&b);
    if(a>b) m=a;
    else m=b;
    c=c+(6-m);
    if(c==1) printf("1/6");
    else if(c==2) printf("1/3");
    else if(c==3) printf("1/2");
    else if(c==4) printf("2/3");
    else if(c==5) printf("5/6");
    else printf("1/1");
    return 0;
}

# include<stdio.h>
 int i=0;
void dg(int max,int n)
{
	if(n>=max)
	{
		i++;
		dg(max,n-1);
 	}
}
int main()
{int x,y,max;
 scanf("%d%d",&x,&y);
 max=(x>y)?x:y;
	dg(max,6);
	if(i==2)
		printf("1/3\n");
	else if(i==3)
		printf("1/2\n");
	else if(i==6)
		printf("1/1");
	else if(i==4)
		printf("2/3");
	else
		printf("%d/6\n",i);
	return 0;
}

#include<stdio.h>
int main()
{
    int a,b,A,B=6;
    scanf("%d %d",&a,&b);

    if(a==b){
                A=6-b+1;}

    else if(a>b) A=6-a+1;
    else if(a<b) A=6-b+1;

            if(A%2==0){
            if(A!=B)
                printf("%d/%d\n",A/2,B/2);
            else
                printf("1/1\n");}
    else{
        if(B%A==0)
            printf("1/%d\n",B/A);
        else
            printf("%d/%d",A,B);
    }

    return 0;
}

#include<conio.h>
#include<stdio.h>

int firstResult;
int secondResult;
int highest;
int numerator;
int denominator;

void readEntries() {
    scanf("%d", &firstResult);
    scanf("%d", &secondResult);
}

void reduceFraction() {
    while (0 == numerator % 2 || 0 == numerator % 3) {
        if (0 == numerator % 3 && 0 == denominator % 3) {
            numerator /= 3;
            denominator /= 3;
        } else if (0 == numerator % 2 && 0 == denominator % 2) {
            numerator /= 2;
            denominator /= 2;
        } else {
            break;
        }
    }
}

void evaluateResult() {
    if (firstResult > secondResult) {
        highest = firstResult;
    } else {
        highest = secondResult;
    }
    numerator = (6 - highest) + 1;
    denominator = 6;
    reduceFraction();
}

void printResult() {
    printf("%d/%d", numerator, denominator);
}

int main() {
    readEntries();
    evaluateResult();
    printResult();
    return 0;
}

#include <stdio.h>

#include<math.h>
int f[1000001],num[10000];
int main()
{
    int a[10],b,n,c,m,i,j;
   scanf("%d %d",&n,&m);
     int max=0;
    if(n>m)max=n;else max=m;
    if (max==1)printf("1/1\n");
    if  (max==2)printf("5/6\n");
    if  (max==3)printf("2/3\n");
    if  (max==4)printf("1/2\n");
    if  (max==5)printf("1/3\n");
    if  (max==6)printf("1/6\n");

    return 0;
}

#include <stdio.h>

int main()
{
    int y,w,d;
    scanf("%d %d",&y,&w);
    if(y>=w)
        d=6-y+1;
    else
        d=6-w+1;
    switch(d)
    {
        case 1: printf("1/6\n");break;
        case 2: printf("1/3\n");break;
        case 3: printf("1/2\n");break;
        case 4: printf("2/3\n");break;
        case 5: printf("5/6\n");break;
        case 6: printf("1/1\n");break;
    }
}

#include<stdio.h>

int main()
{
    int Y,W,temp,a=6;
    scanf("%d %d",&Y,&W);
    if(Y>=W)
    {
        temp=6-Y+1;
        if(temp%6==0)
        {
            temp=temp/6;
            a=a/6;
        }
        else if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
    else
    {
        temp=6-W+1;
        if(temp%6==0)
        {
            temp=temp/6;
            a=a/6;
        }
        else if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
}

#include<stdio.h>
int main ()
{
    int y,w ,p ,count=0,m=0,i;

    scanf("%d%d",&y,&w) ;

  if(y==w)
  {
      for(i=y ;i<=6 ;i++)
      {
          count++ ;
      }
  }

  else if (y>w)

    {
        for(i=y ;i<=6 ;i++)
        {
            count++ ;
        }
    }

    else if(w>y)
    {
         for(i=w ;i<=6 ;i++)
        {
            count++ ;
        }
    }

 // printf("%d \n",count) ;

  if(count==1)
  {
      printf("1/6") ;

  }
  else if(count==0)
  {
      printf("0/1") ;

  }
  else if ( count >1 ) {

        if(count==6)
        {
            printf("1/1") ;
            return 0 ;
        }

         if(count%2==0)
        {
            p= count/2 ;

            printf("%d/3",p) ;
        }
        else if(count%3==0)
        {
            p=count/3 ;

            printf("%d/2",p) ;
        }

        else {
            printf("%d/6",count) ;
        }

}
  return 0 ;
}

#include<stdio.h>
int main()
{
    int Y,W,i=0,k,j=6;
    scanf("%d %d",&Y,&W);
    if(Y>W)
        k=Y;
    else
        k=W;
    i=7-k;
    switch(i)
    {

    case 0:
    {
        printf("%d/%d",0,1);break;
    }
    case 1:
    {
        printf("%d/%d",1,6);break;
    }
   case 2:
    {
        printf("%d/%d",1,3);break;
    }
   case 3:
    {
        printf("%d/%d",1,2);break;
    }
    case 4:
    {
        printf("%d/%d",2,3);break;
    }
    case 5:
    {
        printf("%d/%d",5,6);break;
    }
    case 6:    {
        printf("%d/%d",1,1);break;
    }
    }

}

#include <stdio.h>

int main()
{
    int y,l,w,s;
    double i;
    scanf("%d %d",&y,&w);
    s=0;
    for(l=y>w?y:w;l<=6;l++){
        s=s+1;
    }
    if(s==1)
        printf("1/6");
     else if(s==2)
        printf("1/3");
     else if(s==3)
        printf("1/2");
     else if(s==4)
        printf("2/3");
     else if(s==5)
        printf("5/6");
     else if(s==6)
        printf("1/1");
     else if(s==0)
        printf("0/1");

    return 0;
}

#include<stdio.h>
int main()
{
    int m,n,p,t,c;
    while(scanf("%d %d",&m,&n)!=EOF){
        if(m<=n){t=m;m=n;n=t;}
        c=m;
        c=(6-c)+1;
    if(c%2==1)
    {
        if(c==3)
            printf("1/2\n");
        else
            printf("%d/6\n",c);
    }
    else
    {
        if(c==4)
            printf("2/3\n");
        else
            printf("1/%d\n",6/c);
    }
    }
    return 0;
}

#include<stdio.h>

int gcdr(int a , int b){
	if(a==0){
		return b;
	}
	return gcdr(b%a,a);
}

int main(int argc, char **argv){
	int a,b;
	scanf("%d %d",&a,&b);
	int c,d,m;
	if(a>=b){
		m=a;
	}
	else{
	m=b;
	}
	d=6-m+1;
	c=gcdr(d,6);
	printf("%d/%d",d/c,6/c);
	return 0;
}

#include <stdio.h>

int main(){

    int y, w;
    int d;

    scanf("%d %d", &y, &w);

    if(y > w) d = 6-y+1;
    else  d = 6-w+1;

    int p1 = 6;

    for(int i = p1; i > 0; i--){
        if(p1%i == 0 && d%i == 0){
            p1 =p1/i;
            d = d/i;
        }
    }

    printf("%d/%d",d, p1);

    return 0;
}

//
//  main.c
//  code forces
//
//  Created by Irfan Naufal Ardila on 11/15/17.
//  Copyright © 2017 Irfan Naufal Ardila. All rights reserved.
//

#include <stdio.h>
int main (){
    int A,B,i,c,d=0;
    scanf("%d%d",&A,&B);
    c=A-B;
    if (c<0){
        for (i=B;i<=6;i++){
            ++d;}
        if (d==0 ){
            printf ("0/1");
            return 0;}
        else if(d==6){
            printf ("1/1");
            return 0;}
        else if(d==1){
            printf ("1/6");
            return 0;}
        else if (d==2 || d== 4){
            printf("%d/3",d/2);
            return 0;}
        else if(d==3){
            printf ("1/2");
            return 0;}
        else if (d==5){
        printf("5/6");
        return 0;}}
    else {
        for (i=A;i<=6;i++){
            ++d;}

        if (d==0 ){
            printf ("0/1");
            return 0;}
        else if(d==6){
            printf ("1/1");
            return 0;}
        else if(d==1){
            printf ("1/6");
            return 0;}
        else if (d==2 || d== 4){
            printf("%d/3",d/2);
            return 0;}
        else if(d==3){
            printf ("1/2");
            return 0;}
        else if (d==5){
            printf("5/6");
            return 0;}}
        return 0;}

#include<stdio.h>
int main() {
	int y,w,max;
	scanf("%d%d",&y,&w);

	if(y>w) max=y;
	else max=w;

	if(6-max+1==1) printf("1/6\n");
	else if(6-max+1==2) printf("1/3\n");
	else if(6-max+1==3) printf("1/2\n");
	else if(6-max+1==4) printf("2/3\n");
	else if(6-max+1==5) printf("5/6\n");
	else if(6-max+1==6) printf("1/1\n");

	return 0;
}

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int main()
{
   int x,y;
   scanf("%d%d",&x,&y);
   if(x>y)
   {
       if(x==2)
       {
           printf("5/6\n");
       }
       else if(x==3)
       {
           printf("2/3\n");
       }
       else if(x==4)
       {
           printf("1/2\n");
       }
       else if(x==5)
       {
           printf("1/3\n");
       }
       else
       {
           printf("1/6\n");
       }
   }
   else
   {
       if(y==1)
       {
           printf("1/1\n");
       }
       else if(y==2)
       {
           printf("5/6\n");
       }
       else if(y==3)
       {
           printf("2/3\n");
       }
       else if(y==4)
       {
           printf("1/2\n");
       }
       else if(y==5)
       {
           printf("1/3\n");
       }
       else
       {
           printf("1/6\n");
       }
   }
}

#include <stdio.h>
#include <math.h>

int main()
{
    int Y,W,A;
    scanf("%d %d",&Y,&W);
    if(Y>W){
        A=Y;
    }
    else
    {
        A=W;
    }

    A=(6-A)+1;

    if(A%2==1){
        if(A==3){
            printf("1/2\n");
        }
        else
        {
            printf("%d/6\n",A);
        }
    }
    else
    {
        if(A==4){
            printf("2/3\n");
        }
        else
        {
            printf("1/%d",6/A);
        }

    }

    return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int i,j,dot;
    scanf("%d%d",&i,&j);
    if (i>j){
     dot=6+1-i;
    }
    if(i<=j){
        dot=6+1-j;
    }

     if (dot==1){ printf("1/6");}
    else if(dot==2){printf("1/3");}
    else if (dot==3){printf("1/2");}
    else if (dot==4){printf("2/3");}
    else if (dot==5){printf("5/6");}
    else if (dot==6){printf("1/1");}
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b,c;
    double d,e,f,g;
    scanf("%d%d",&a,&b);
    if(a>b)c=a;
    else c=b;
    a=7-c;
    if(a==1)printf("1/6\n");
    else if(a==2)printf("1/3\n");
    else if(a==3)printf("1/2\n");
    else if(a==4)printf("2/3\n");
    else if(a==5)printf("5/6\n");
    else printf("1/1\n");
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b,p,n;
    scanf("%d %d",&a,&b);
    int c=a>b?a:b;

    int d=7-c;
    for(int i=2;i<=3;i++)
    {
        if(d%i==0&&6%i==0)
        {
            n=d/i;
            p=6/i;
            if(n==p)
            {
                n=1;p=1;
            }
            break;
        }
        else
        {
            n=d;
            p=6;
        }
    }
    printf("%d/%d",n,p);
   return 0;
}

# include <stdio.h>
int d;

int f1(int a, int b)
{
	if(a>=b)
		return a;
	else
		return b;
}//find the max
void Swap(int *a, int *b)
{
	if(*a<*b)
	{
		int t;
		t = *a;
		*a = *b;
		*b = t;
	}
	return ;
}
int f2(int a, int b)
{
	Swap(&a, &b);
	if(b==0)
		return a;
	else
		return f2(b, a%b);
}//find the gcd

int main(void)
{
	int a, b;
	scanf("%d %d", &a, &b);
	a = f1(a, b);
	a = 6-a+1;
	b = 6;
	if(a==0)
		printf("0/1");
	if(a==b)
		printf("1/1");
	else
	{
		d = f2(a ,b);
	//	printf("d=%d\n",d);
		a /= d;
		b /= d;
		printf("%d/%d", a, b);
	}
	return 0;
}

#include <stdio.h>

#define b (y>w ? y : w)

int y, w, count=0;

int main()
{
    scanf("%d %d", &y, &w);

    for (int i=1; i<7; i++) if (i>=b) count++;

    if (count==0) printf("0/1");
    else if (count==2) printf("1/3");
    else if (count==3) printf("1/2");
    else if (count==4) printf("2/3");
    else if (count==6) printf("1/1");
    else printf("%d/6", count);

    return 0;
}

#include<stdio.h>
void per(int n)
{
	if(n==1)
	printf("1/6");

	if(n==2)
	printf("1/3");

	if(n==3)
	printf("1/2");

	if(n==4)
	printf("2/3");

	if(n==5)
	printf("5/6");

	if(n==6)
	printf("1/1");
}

int main()
{
	int max=0;
	int a;

	scanf("%d",&a);

	if(a>max)
	max=a;

	scanf("%d",&a);

	if(a>max)
	max=a;

	per(6-max+1);

}

#include <stdio.h>
#include <stdlib.h>
int main()
{
int yakko,wakko;
int dot;
scanf("%d %d",&yakko,&wakko);
if(yakko>wakko){
    dot=6-yakko+1;
}
else{
    dot=6-wakko+1;
}
if(dot==0){
    printf("0/1");
}
if(dot==6){
    printf("1/1");
}
if(dot==1){
    printf("1/6");
}
if(dot==2){
    printf("1/3");
}
if(dot==3){
    printf("1/2");
}
if(dot==4){
    printf("2/3");
}
if(dot==5){
    printf("5/6");
}
    return 0;
}

#include<stdio.h>

int main()
{
    int a,b,i,max,m,n,d,x;
    scanf("%d %d",&a,&b);
    if(a>b)
        max=a;
    else
        max=b;
    m=6-max+1;
    for(i=1;i<=6;i++)
    {
        if(m%i==0&&6%i==0)
            x=i;
    }
    n=m/x;
    d=6/x;
    printf("%d/%d",n,d);
    return 0;
}

#include<stdio.h>

int main()
{
    int x,y;
    scanf("%d %d",&x,&y);
    int z,count=0;
    if(x>y)
    {
        for(z=x;z<=6;z++)
        {
            count++;
        }
    }
    else
    {
        for(z=y;z<=6;z++)
        {
            count++;
        }
    }
    if(count%2==0&&count%3==0)
    {
        printf("%d/%d",count/(2*3),6/(2*3));
    }
    else if(count%2==0)
    {
        printf("%d/%d",count/2,6/2);
    }
    else if(count%3==0)
    {
        printf("%d/%d",count/3,6/3);
    }
    else
    {
        printf("%d/%d",count,6);
    }
}

#include<stdio.h>
#include<stdlib.h>
int main()
{
	long long y,w,d,x;
	scanf("%lld%lld",&y,&w);
	if(y>=w)x=7-y;
	else x=7-w;
	if(x==1)printf("1/6");
	if(x==2)printf("1/3");
	if(x==3)printf("1/2");
	if(x==4)printf("2/3");
	if(x==5)printf("5/6");
	if(x==6)printf("1/1");
	return 0;
}

#include<stdio.h>
int max(int a,int b){
    if(a>=b) return a;
    else return b;
}
int main(){
    int yak_pt,wak_pt;
    int d,dot_pts;
    scanf("%d %d",&yak_pt,&wak_pt);
    d=max(yak_pt,wak_pt);
    dot_pts=(6-d)+1;
    switch(dot_pts){
        case(0): printf("0/1"); break;
        case(1): printf("1/6"); break;
        case(2): printf("1/3"); break;
        case(3): printf("1/2"); break;
        case(4): printf("2/3"); break;
        case(5): printf("5/6"); break;
        case(6): printf("1/1"); break;
    }
    return 0;
}

#include<stdio.h>
int max(int a,int b){
    if(a>b) return a;
    else return b;
}
int main(){
    int wak,yak,doe,d;
    scanf("%d %d\n",&wak,&yak);
    d=max(wak,yak);
    doe=6-d+1;
    switch(doe){
        case 0 : printf("0/6");
                 break;
        case 1 : printf("1/6");
                 break;
        case 2 : printf("1/3");
                 break;
        case 3 : printf("1/2");
                 break;
        case 4 : printf("2/3");
                 break;
        case 5 : printf("5/6");
                 break;
        case 6 : printf("1/1");
                 break;
    }
    return 0;
}

#include <stdio.h>

int main(){
    int a,b,max,n;
    scanf("%d%d",&a,&b);
    if(a>b)
        max=a;
    else
        max=b;
    n=6-max+1;
    if(6%n==0){
        printf("1/%d",6/n);
    }
    else
    {
        if(n%2==0)
            printf("%d/3",n/2);
        else
            printf("%d/6",n);
    }
}

#include<stdio.h>

int main()
{
    int i, j, ans, max = 0;

    scanf("%d%d", &i, &j);

    if(max < i)
        max = i;
    if(max < j)
        max = j;

    ans = 7 - max;

    if (ans == 1)
        printf("1/6");

    else if (ans == 2)
        printf("1/3");

    else if (ans == 3)
        printf("1/2");

    else if (ans == 4)
        printf("2/3");

    else if (ans == 5)
        printf("5/6");

    else
        printf("1/1");

    return 0;
}

#include <stdio.h>
#include <string.h>

int main()
{
    int max, aux, a, restantes;
    int caras = 6;
    max = 0;
    for(a=0;a<2;a++)
    {
        scanf("%i", &aux);
        if(aux > max){max = aux;}
    }
    restantes = caras - max + 1;
    while((restantes%2 == 0) && (caras%2 == 0))
    {
        restantes = restantes/2;
        caras = caras/2;
    }
    while((restantes%3 == 0) && (caras%3 == 0))
    {
        restantes = restantes/3;
        caras = caras/3;
    }

    printf("%i/%i", restantes, caras);
    return 0;
}

#include<stdio.h>
int main()
{
    int Y,W,small,large,a,b;
    scanf("%d %d",&Y,&W);
    if(Y>W)
    {
        small=W;
        large=Y;
    }
    else
    {
        small=Y;
        large=W;
    }
    a=6-large+1;
    if(6%a==0)
    {

        b=6/a;
        a=1;
        printf("%d/%d",a,b);
    }
    else if(a==4)
    {
        b=3;
        a=2;
        printf("%d/%d",a,b);
    }
    else
    {
        printf("%d/6",a);
    }

}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a,b;
    int i,rolls;
    scanf("%d%d",&a,&b);
    if(a>b){
        rolls = 6 - a + 1;
    } else rolls = 6 - b + 1;
    switch(rolls){
    case 1: printf("1/6"); break;
    case 2: printf("1/3"); break;
    case 3: printf("1/2"); break;
    case 4: printf("2/3"); break;
    case 5: printf("5/6"); break;
    case 6: printf("1/1"); break;
    }

    return 0;
}

#include<stdio.h>

int main() {
	int x,y,z,a=6,i,b=0;
	scanf("%d%d",&x,&y);
	if(x>=y)
	z=x;
	else if(y>x)
	z=y;
	for(i=z;i<7;i++)
	b++;
	for(i=2;i<7;i++)
	{
	    if(b%i==0&&a%i==0)
	    {
	        b=b/i;
	        a=a/i;

	    }
	}
	printf("%d/%d",b,a);
	return 0;
}

#include<stdio.h>

int main(void)
{
	int y,w,x;
	double p;
	scanf("%d %d",&y,&w);
	if(w>y) {
		y=w;
	}
	p=7.0-y;
	p=p/6;
	p=p*10;
	x=(int)p;
	if(x==1) {
		printf("1/6");
	}
	else if(x==3) {
		printf("1/3");
	}
	else if(x==5) {
		printf("1/2");
	}
	else if(x==6) {
		printf("2/3");
	}
	else if(x==8) {
		printf("5/6");
	}
	else {
		printf("1/1");
	}

	return 0;
}

#include <stdio.h>

int main(void)
{
    int Y, W;
    int biggest;
    char* chances[6] = {"1/6","1/3","1/2","2/3","5/6","1/1"};

    scanf("%i %i",&Y,&W);

    if(Y > W)

        biggest = Y;
    else
        biggest = W;

   printf("%s",chances[6-biggest]);
}

#include<stdio.h>
int main()
{
    int Y,W;
    int s,y = 6,i;
    scanf("%d%d",&Y,&W);
    if(Y<W)
    {
        Y = Y+W;
        W = Y-W;
        Y =Y-W;
    }
    int d;
    d = 7-Y;
    if(d == 0)
    {
        printf("0/1\n"); return 0;
    }
    if(d == 6)
    {
        printf("1/1\n");return 0;
    }
    for(i=1; ; i++)
    {
        if(d%i == 0 && y%i==0)
        {
            d/=i; y/=i;
        }
        if(i>d){break;}
    }
    printf("%d/%d",d,y);

    return 0;
}

#include<stdio.h>
int main()
{
    int y,w,i,temp,j;

    scanf("%d %d",&y,&w);

    if(y>w)
    {
        if(y%w==0) printf("1/%d\n",y/w);
        else printf("%d/%d\n",w,y);
    }
    else if(y<w)
    {
        if(w%y==0) printf("1/%d\n",w/y);
        else printf("%d/%d\n",y,w);
    }
    else if(y*w==0) printf("0/1");
    else if(y==w) printf("1/1");

    return 0;
}

#include<stdio.h>
int main ()
{
    int y,w ,p ,count=0,m=0,i;

    scanf("%d%d",&y,&w) ;

  if(y==w)
  {
      for(i=y ;i<=6 ;i++)
      {
          count++ ;
      }
  }

  else if (y>w)

    {
        for(i=y ;i<=6 ;i++)
        {
            count++ ;
        }
    }

    else if(w>y)
    {
         for(i=w ;i<=6 ;i++)
        {
            count++ ;
        }
    }

 // printf("%d \n",count) ;

  if(count==1)
  {
      printf("1/1") ;
  }
  else if(count==0)
  {
      printf("0/1") ;

  }
  else if ( count >1 ) {

        if(count%2==0)
        {
            p= count/2 ;

            printf("%d/3",p) ;
        }
        else if(count%3==0)
        {
            p=count/3 ;

            printf("%d/2",p) ;
        }

        else {
            printf("%d/6",count) ;
        }

}
  return 0 ;
}

#include<stdio.h>
int main(){
    int y,w,mx;
    int p;
    scanf("%d %d",&y,&w);
    if(y>=w)mx=y;
    else mx=w;
    p=(7-mx);
    if(6%(7-mx)==0){
    p=6/(7-mx);

    printf("1/%d",p);
    }
    else printf("%d/6",p);
}

#include<stdio.h>

int main()
{
    int Y,W,temp,a=6;
    scanf("%d %d",&Y,&W);
    if(Y==W)
    {
        printf("%d/%d",0,1);
    }
    else if(Y>W)
    {
        temp=6-Y+1;
        if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
    else
    {
        temp=6-W+1;
        if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
}

#include <stdio.h>
#include <stdbool.h>

int main(void)
{
	int c, y, x = 0, w, i;
	scanf ("%i%i",&y,&w);

	if (w == y)
		c = 7 - w;
	else if (w < y)
			c = 7 - y;
	else if (w > y)
			c = 7 - w;
	else {
		printf("0/1\n");
	}

	for (i = 2; i <= c; i++)
		if (c % i == 0 && 6 % i == 0)
		{
			x = i;
			break;
		}
	if (x == 0)
		printf("%i/%i\n",c,(6));
	else printf("%i/%i\n",(c/i),(6/i));

	return 0;
}

#include<stdio.h>
int main()
{
	int n,m;
	scanf("%d %d",&n,&m);
	int max;
	if(n > m) max = n;
	else {
		max = m;
	}
	int ctr = 0;
	for(int i = max;i<=6;i++)
	{
		ctr++;
	}
	if(n == 0 && m == 0) printf("1/1\n");
	else if(max == 6) printf("1/6\n");
	else if(max == 5) printf("1/3\n");
	else if(max == 4) printf("1/2\n");
	else if(max == 3) printf("2/3\n");
	else if(max == 2) printf("5/6\n");
	else if(max == 1) printf("6/6\n");
	return 0;
}

#include<stdio.h>
int main()
{
    int y, w, max, num;
    scanf("%d %d",&y, &w);
         max = y > w ? y : w;
         num = 7 - max;
         if(num == 5)
            printf("5/");
         else if(num == 4)
            printf("2/");
         else
            printf("1/");
         if(num == 6)
            printf("1");
         else if(num == 3)
            printf("2");
         else if ((num == 5) || (num == 1))
            printf("6");
         else
            printf("2");
            return 0;
}

#include <stdio.h>
int w, y, max;
int main()
{
    scanf("%d, %d, %d", &w, &y, &max);
    if ( w > y ) max= w;
    else max = y;
    if (max== 1) printf("1/1");
    if (max == 2) printf("5/6");
    if (max == 3) printf("2/3");
    if (max == 4) printf("1/2");
    if (max == 5) printf("1/3");
    if (max == 6) printf("1/6");
    return 0;
}

#include <stdio.h>

int main()
{
    int Y, W;
    int D;
    scanf("%i %i", &Y, &W);

    if(Y >= W)
    {
        D = (6 - Y) + 1;
    }
    else
    {
        D = (6 - W) + 1;
    }

    printf("%i/%i \n", D/D, 6/D);

}

#include <stdio.h>

int main()
{
    int y, w, b, c;
    scanf("%d %d", &y, &w);
    b = (y>w)?y:w;
    c = 6-b+1;
    switch(c)
    {
        case 1: printf("1/6\n"); break;
        case 2: printf("2/3\n"); break;
        case 3: printf("1/2\n"); break;
        case 4: printf("2/3\n"); break;
        case 5: printf("5/6\n"); break;
        case 6: printf("1\n"); break;
    }
    return 0;
}

#include <stdio.h>
#include <math.h>

int main()
{
    int x, n, m;

    scanf("%d %d", &n, &m);

    if(n>m)
    	x = 6-n+1;
    if(n<m)
    	x = 6-m+1;
    if(n==m)
    	x=m+1;
    if(x==1)
    	x +=5;
    if(6%x==0)
    	printf("%d/%d", x/x, 6/x);
    else if(x==4)
    	printf("%d/%d", x/2, 6/2);
    else
    	printf("%d/6", x);
}

#include <stdio.h>
#include <string.h>

int main()
{
    int arr [3];
    int x=1;
    for (int i=0;i<2;i++)
    {
        scanf("%d",&arr[i]);
    }
      for (int i=0;i<2;i++)
    {
        if(x<arr[i])
        {
            x=arr[i];
        }
    }
    if (x==1)
    {
        printf("1/1");
    }
    else if(x==6)
    {
        printf("0/1");
    }

    else if(x==2)
    {
        printf("5/6");
    }
    else if(x==3)
    {
        printf("2/3");
    }
    else if(x==4)
    {
        printf("1/2");
    }
    else if(x==5)
    {
        printf("1/3");
    }
}

#include <stdio.h>
#include <string.h>

int main(void)
{
    int Y, W;
    int biggest;
    int chance;
    char result[2];

    scanf("%i %i",&Y,&W);

    if(Y > W)
        biggest = Y;
    else
        biggest = W;

    chance = 6 - biggest + 1;

    switch(chance)
    {
        case 1:
            result[0] = '1';
            result[1] = '/';
            result[2] = '6';
            break;
        case 2:
            result[0] = '1';
            result[1] = '/';
            result[2] = '3';
            break;
        case 3:
            result[0] = '1';
            result[1] = '/';
            result[2] = '2';
            break;
        case 4:
            result[0] = '2';
            result[1] = '/';
            result[2] = '3';
            break;
        case 5:
            result[0] = '5';
            result[1] = '/';
            result[2] = '6';
            break;
        case 6:
            result[0] = '6';
            result[1] = '/';
            result[2] = '6';
            break;
    }

    printf("%3s\n",result);
    printf("%u\n",strlen(result));
}

/******************************************************************************

                            Online C Compiler.
                Code, Compile, Run and Debug C program online.
Write your code in this editor and press "Run" button to compile and execute it.

*******************************************************************************/

#include <stdio.h>
#include <ctype.h>

int main()
{
    int y,w,largest=0,s=0,n,d=6;
    scanf("%d %d",&y,&w);
    if (y>w)largest=y;
    else largest=w;

    for(int i=1;i<7;i++)
    {
       if(i>=largest)s++;
    }
    n=s;

    if(d%n==0)
    {
            d = 6/n;
            n = 1;
    }

    printf("%d/%d",n,d);

//    }
////    if(((temp!=0))&&(10%(n%r))==0&&(n>10))
////    {
//        do
//        {
//            x++;
//        }while((n*x)%10!=0);
//        printf("%d\n",x);
////        return 0;
////    }
//
//    do
//    {
//        s++;
//    }while(((R*s)-(r*s))%10 != 0);
//
//    printf("%d",(s-1));

    return 0;
}
int string_length(char s[]) {
   int c = 0;
   while (s[c] != '\0')
      c++;

   return c;
}
int roundUp(int numToRound, int multiple)
{
    if (multiple == 0)
        return numToRound;

    int remainder = numToRound % multiple;
    if (remainder == 0)
        return numToRound;

    return numToRound + multiple - remainder;
}

#include <stdio.h>
int main() {
  int a, b, c, w, y;
  scanf("%d %d", &w, &y);
  if (w>=y){
    a=7-w;
  }
  else {
    a=7-y;
  }

  if (6%a!=0){
  printf("%d/6", a);
  }
  else {
    b=1;
    c=6/a;
    printf("%d/%d", b, c);
  }

  return 0;
}

        #include<stdio.h>
        int main()
        {
            int y,w,n=0,d=6,max,num,den,i;
            scanf("%d %d", &y, &w);
            if(y>w)
            max=y;
            else
            max=w;
            for(i=1;i<=6;i++)
            {
                if(i>=max)
                n++;
            }
            if(n<=d)
            {
                if(d%n==0)
                {
                    den=d/n;
                    num=n/n;
                }
            }
            printf("%d",num/den);
        }

#include<stdio.h>
int main()
{
    long long int w,y;
    scanf("%lld %lld",&y,&w);
    if(w==y)
    printf("1/1");
    else
    printf("1/2");
}

#include<stdio.h>
int main()
{
    int a,b,p,n;
    scanf("%d %d",&a,&b);
    int c=a>b?a:b;

    int d=7-c;
    if(6%d!=0)
    {
    n=1+6/d;
    p=6/d+6%d;
    }
    else
    {
    n=1;
    p=6/d;
    }
    printf("%d/%d",n,p);
   return 0;
}

#include <stdio.h>

int main()
{
    int y, w, max = 0, A = 0, B = 0;
    scanf("%d &d", &y, &w);

		if (y>=w)
		{
			A = (6 - y) + 1;
		}
		else
		{
			A = (6 - w) + 1;
		}

	switch (A)
	{
		case 6: A= 1; B = 1; break;
		case 4: A= 2; B = 3; break;
		case 3: A= 1; B = 2; break;
		case 2: A= 1; B = 3; break;
		case 0: A= 0; B = 1; break;
		default : B = 6;
	}

    printf("%d\/%d", A,B);
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b;
    scanf("%d %d",&a,&b);
    if(a>b)
    {
        if(a==1)
            printf("1/1\n");
        else if(a==2)
            printf("5/6\n");
        else if(a==3)
            printf("2/3\n");
        else if(a==4)
            printf("1/2\n");
        else if(a==5)
            printf("1/3\n");
        else if(a==6)
            printf("1/1\n");
        else if(a==0)
            printf("0/1\n");
    }
    if(a<b)
    {
        if(b==1)
            printf("1/1\n");
        else if(b==2)
            printf("5/6\n");
        else if(b==3)
            printf("2/3\n");
        else if(b==4)
            printf("1/2\n");
        else if(b==5)
            printf("1/3\n");
        else if(b==6)
            printf("1/1\n");
        else if(b==0)
            printf("0/1\n");
    }
    return 0;
}

#include"Stdio.h"
int main(){
	int n,m;
	scanf("%d%d",&n,&m);
	int max=n;
	if(m>max){
		max=m;
	}
	int tmp= 6-max+1;
	for(int i=6;i>=2;i--){
		if(tmp%i==0 && 6%i==0){
			printf("%d/%d",tmp/i,6/i);
			return 0;
		}
	}

}

#include <stdio.h>

int main(){
	int y, w, i;
	scanf("%d", &y);
	scanf("%d", &w);
	if(y>w){
		i=y;
	}
	else{
		i=w;
	}
	if(i=1){
		printf("1/1");
	}
	else if(i=2){
		printf("5/6");
	}
	else if(i=3){
		printf("2/3");
	}
	else if(i=4){
		printf("1/2");
	}
	else if(i=5){
		printf("1/2");
	}
	else if(i=6){
		printf("1/6");
	}
return 0;
}

#include<stdio.h>
void coprime(int ,int);
int main()
{
    int y,w,d,l;
    scanf("%d%d",&y,&w);
    if((y>6) || (w>6))
    printf("invalid choice\n");
    l=(y>=w)?y:w;
    d=6-l+1;
    coprime(d,6);
    return 0;
}
void coprime(int a,int b)
{
    int i;
    for(i=2;i<=a;i++)
    {
        if(a%i==0)
        {
            if(b%i==0)
            {
                a=a/i;
                b=b/i;
                continue;
            }
        }
    }
    printf("probability is %d/%d",a,b);
}

#include<stdio.h>
int main()
{
    int Y,W,max,numerator;
    scanf("%d%d",&Y,&W);

    max=Y;
    if(max<W)
        max=W;
    numerator=7-max;

    if(Y==1 && W==1)
        printf("1/1");
    else if((Y==6 && W!=6) || (Y!=6 && W==6))
        printf("0/1");
    else
        {   if(numerator==3)
                printf("1/2");
            else if(numerator==2)
                printf("1/3");
            if(numerator==4)
                printf("2/3");
            else printf("%d/6",numerator);
        }

    return 0;
}

#include <stdio.h>
#include <stdlib.h>
int main () {
    int x,y,a,b;
    scanf("%d%d",&x,&y);
    if ((x == 1) && (y == 1)) printf("1/1\n"); else {
        int tmp;
        tmp = (x > y) ? x : y;
        tmp--;
        a = 6-tmp;
        b = 6;
        if (!(b % a)) {
            b = b/a;
            a = 1;
        }
        printf("%d/%d\n",a,b);
        }
    return 0;
}

#include<stdio.h>
int main()
{
    int i,y,w;
    scanf("%d %d",&y,&w);
    int count=0;
    if(y>w)//4,2
    for(i=y;i<7;i++){
        count++;}
   else if(w>y)//1,2
    for(i=y;i<7;i++){
        count++;}
   else if(y==w && y>1)//3,3
   for(i=y;i<7;i++){
        count++;}
   else if(y=w=1)
    printf("1/1");
   switch(count){
       case 1: printf("1/6");
                break;
       case 2: printf("1/3");
                break;
       case 3: printf("1/2");
                break;
       case 4: printf("2/3");
                break;

    case 5: printf("5/6");
                break;
    case 6: printf("1/1");
                break;

    }

}

//
//  main.c
//  code forces
//
//  Created by Irfan Naufal Ardila on 11/15/17.
//  Copyright © 2017 Irfan Naufal Ardila. All rights reserved.
//

#include <stdio.h>
int main (){
    int A,B,i,c,d=0;
    scanf("%d%d",&A,&B);
    c=A-B;
    if (c<0){
        for (i=B;i<=6;i++){
            ++d;}
        if (d==0 ){
            printf ("0/1");
            return 0;}
        else if(d==1 || d==6){
            printf ("1/1");
            return 0;}
        else if (d==2 || d== 4){
            printf("%d/3",d/2);
            return 0;}
        else if(d==3){
            printf ("1/2");
            return 0;}
        else if (d==5){
        printf("5/6");
        return 0;}}
    else {
        for (i=A;i<=6;i++){
            ++d;}

        if (d==0 ){
            printf ("0/1");
            return 0;}
        else if(d==1 || d==6){
            printf ("1/1");
            return 0;}
        else if (d==2 || d== 4){
            printf("%d/3",d/2);
            return 0;}
        else if(d==3){
            printf ("1/2");
            return 0;}
        else if (d==5){
            printf("5/6");
            return 0;}}
        return 0;}

#include<stdio.h>

int main(){
	int a[2];
	scanf("%d %d",&a[0],&a[1]);
	float max;
	float count;
	max=(a[0]>=a[1])?a[0]:a[1];
	//printf("%f\n",max);
	count=((7-max)/6);
	printf("%f\n",count);
	//printf("%f",count/6);
	return(0);
}

#include<stdio.h>
int main()
{
    int Y,W,max,numerator;
    scanf("%d%d",&Y,&W);

    max=Y;
    if(max<W)
        max=W;
    numerator=7-max;

    if(Y==1 && W==1)
        printf("1/1");
    else if((Y==6 && W!=6) || (Y!=6 && W==6))
        printf("0/1");
    if(numerator==3)
        printf("1/2");
    else printf("%d/6",numerator);

    return 0;
}

#include<stdio.h>

int main()
{
    int i, j, ans, max = 0;

    scanf("%d%d", &i, &j);

    if(max < i)
        max = i;
    if(max < j)
        max = j;

    ans = 7 - max;

    if (ans == 1)
        printf("1/6");

    else if (ans == 2)
        printf("1/3");

    else if (ans == 3)
        printf("1/2");

    else if (ans == 4)
        printf("2/3");

    else if (ans == 5)
        printf("5/6");

    else
        printf("1");

    return 0;
}

#include<stdio.h>
#include<math.h>

 int gcd(int a , int b)
{
     int min,max ; if(a<=b){min=a; max=b;} else{min=b; max=a;}
     for(int i=min ; i>1 ; i-- )
     {
         if(max%i==0)
         return i ;
     }
}
int main()
{
    int x,max;
    scanf("%d",&x);
    max=x;
    scanf("%d",&x);
    if(x>max)
        max=x;
    int dom = 7-max;
    int g=gcd(dom,6);
    printf("%d/%d", dom/g , 6/g );
}

#include<stdio.h>

int main()
{
    int i, j, max = 0;
    double ans;

    scanf("%d%d", &i, &j);

    if(max < i)
        max = i;
    if(max < j)
        max = j;

    ans = (7-max)/6.0;
    printf("%lf", ans);

    return 0;
}

#include<stdio.h>
int main()
{
    int y,w,i,temp,j;

    scanf("%d %d",&y,&w);

    if(y>w)
    {
        if(y%w==0) printf("1/%d\n",y/w);
        else printf("%d/%d\n",w,y);
    }
    else if(y<w)
    {
        if(w%y==0) printf("1/%d\n",w/y);
        else printf("%d/%d\n",y,w);
    }
    else if(y*w==0) printf("0/1");
    else if(y==w) printf("1/1");

    return 0;
}

#include<stdio.h>

int main() {
	int x,y,z,a=6,i,b=0;
	scanf("%d%d",&x,&y);
	if(x>=y)
	z=x;
	else if(y>x)
	z=y;
	for(i=z;i<7;i++)
	b++;
	for(i=b;i<7;i++)
	{
	    if(b%i==0&&a%i==0)
	    {
	        b=b/i;
	        a=a/i;
	        break;
	    }
	}
	printf("%d/%d",b,a);
	return 0;
}

#include<stdio.h>
int main()
{
     int y,w;
     scanf("%d %d",&y,&w);
     if(y+w<6 && y+w>2)
      printf("1/2");
     else if(y+w==2)
       printf("1/1");
      else
      printf("0/1");
}

#include<stdio.h>
int main()
{
    int a,b;
    scanf("%d %d",&a,&b);
    if(b==0)printf("0/1\n");
    else if(b==1)printf("1/1\n");
    else if(b==2)printf("1/2\n");
    else if(b==3)printf("1/3\n");
    else if(b==4)printf("1/4\n");
    else if(b==5)printf("1/5\n");
    else if(b==6)printf("1/6\n");
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b,max,i,count=0;
    scanf("%d %d",&a,&b);
    if(a>=b) max=a;
    else max=b;
    for(i=max;i<=6;i++)
    {
        count++;
    }
    printf("%d",count);
    if(count==1) printf("1/6");
    else if(count==2) printf("1/3");
        else if(count==3)printf("1/2");
        else if(count==4)printf("2/3");
        else if(count==5)printf("5/6");
        else if(count==6)printf("1/1");
    return 0;
}

#include<stdio.h>

int main()
{
	int y,w;
	scanf("%d %d",&y,&w);

	int max=0;
	if (y>w)
		max=y;
	else
		max=w;

	int k=6;

	if(k-max==5)
		printf("1/1\n");
	else if(k-max==4)
		printf("5/6\n");
	else if(k-max==3)
		printf("4/6\n");
	else if(k-max==2)
		printf("1/2\n");
	else
		printf("1/3\n");

	return 0;
}

 #include<stdio.h>
            int main()
            {
                int y,w,n=0,d=6,max,num,den,i,j=2;
                scanf("%d %d", &y, &w);
                if(y>w)
                max=y;
                else
                max=w;

                for(i=1;i<=6;i++)
                {
                    if(max==6)
                        n=0;
                   else if (i>=max)
                    n++;
                }

                if(n<=d)
                {

                   while(d%j!=0 && n%j!=0)
                    {
                       j++;
                    }
                    if(n==0)
                    {
                        num=0;
                        den=1;
                    }

                    else if(n==6)
                    {
                        num=1;
                        den=1;
                    }
                     else if (d%j==0 && n%j==0)
                    {
                        den=d/j;
                        num=n/j;
                    }
                    else
                    {
                        den=d;
                        num=n;
                    }

                }

                printf("%d/%d",num,den);

            }

#include <stdio.h>
int main(){
    int a,b;
    scanf("%d%d",&a,&b);
    int max=a>b?a:b;
    int ans=6-max+1;
    if(ans%2==0) printf("%d/3",ans/2);
    else if(ans==3) printf("1/2");
    else if(ans==6) printf("1/1");
    else printf("%d/6",ans);
    return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
int w,y,prob,common;
FILE *ifp ,*ofp;

ifp= fopen("file.in","r");
ofp = fopen("file.out","w");
fscanf(ifp,"%d %d",&w,&y);
prob = 6 - (w>y ? w:y) +1;
common = GCD(prob,6);
fprintf(ofp,"%d/%d", prob/common, 6/common);

}

int GCD(int n, int m){
    int gcd,remainder;

    while (n!=0){
        remainder = m%n;
        m=n;
        n=remainder;
    }

    gcd = m;
    return gcd;
}

#include <stdio.h>
int main() {
  int a, b, c, w, y;
  scanf("%d %d", &w, &y);
  if (w>=y){
    a=7-w;
  }
  else {
    a=7-y;
  }

  if (6%a!=0){
  printf("%d/6", a);
  }
  else {
    b=1;
    c=6/a;
    printf("%d/%d", b, c);
  }

  return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int y,t,d;
    scanf("%d %d",&y,&t);
    if(y>t){
        d = 7-y;
    }
    else {
        d = 7-t;
    }
    if(d==1){
        printf("1/6");
    }
    else if(d==2){
        printf("1/3");
    }
    else if(d==3){
        printf("1/2");
    }
    else if(d==4){
        printf("2/3");
    }
    else if(d==5){
        printf("5/4");
    }
    else if(d==6){
        printf("1/1");
    }

    return 0;
}

#include <stdio.h>

int main()
{
    int y,l,w,s;
    scanf("%d %d",&y,&w);
    s=0;
    for(l=y>w?y:w;l<=6;l++){
        s=s+1;
    }
    printf("%d/6",s);
    return 0;
}

#include<stdio.h>
int main()
{
	int a,b,c;
	scanf("%d%d",&a,&b);
	if(a<b)
	   a=b;
	c=6-(a-1);
	if(c==0 || c==1)
	   printf("%d/1\n",c);
	else
	   printf("%d/6\n",c);
	   return 0;

}

#include <stdio.h>
int main()
{
    long a,b;

    scanf("%ld%ld",&a,&b);
    if(b>a) a=b;
    if(b==1) printf("1/1");
    else if(b==2) printf("5/6");
    else if(b==3) printf("2/3");
    else if(b==4) printf("1/2");
    else if(b==5) printf("1/3");
    else if(b==6) printf("1/6");
    return 0;
}

#include<stdio.h>
int main()
{
    int a,b,p,n;
    scanf("%d %d",&a,&b);
    int c=a>b?a:b;

    int d=7-c;
    if(6%d!=0)
    {
    n=1+6/d;
    p=6/d+6%d;
    }
    else
    {
    n=1;
    p=6/d;
    }
    printf("%d/%d",n,p);
   return 0;
}

#include<stdio.h>
int main()
{ int a,b,x;
 scanf("%d%d",&a,&b);
  if(a>b)
     x=7-a;
  else
    x=7-b;
  if(x%6==0)
     printf("1");
  else if(x%3==0)
    printf("%d/2",x/3);
  else if(x%2==0)
    printf("%d/3",x/2);
  else
    printf("%d/6",x);
}

#include<stdio.h>

int max(int a,int b){
    if(a>=b) return a;
    else return b;
}

int main(){
    int y, w, n, d;
    scanf("%d %d", &y, &w);
    n=6-max(y, w);
    d=4;
    if(y==w) d=5;
    if(n==d){
        n=1; d=1;
    }
    else if(n==2 && d==4){
        n=1; d=2;
    }
    printf("%d/%d\n", n, d);
}

#include<stdio.h>

int max(int, int);

int main()
{
    int w, y, m, r;
    scanf("%d %d", &w, &y);
    if(w==6 || y==6)
    {
        printf("%0/1\n");
        return 0;
    }
    m=max(w, y);
    r=(6-m)+1;
    if(r%6==0)
    {
        printf("%d/%d\n", r/6, 6/6);
    }
    else if(r%2==0)
    {
        printf("%d/%d\n", r/2, 6/2);
    }
    else if(r%3==0)
    {
        printf("%d/%d\n", r/3, 6/3);
    }
    else
        printf("%d/%d\n", r, 6);

    return 0;
}

int max(int x, int y)
{
    if(x>y)
        return x;
    else
        return y;
}

#include<stdio.h>

//int min(int, int);

int main()
{
    int w, y;
    scanf("%d %d", &w, &y);
    if(w==0 || y==0)
    {
        printf("0/1\n");
    }
    else if(w>y)
    {
        printf("%d/%d\n", y/y, w/y);
    }
    else
    {
        printf("%d/%d\n", w/w, y/w);
    }

    return 0;
}

/*int min(int x, int y)
{
    if(x>y)
        return x;
    else
        return y;
}*/

#include <stdio.h>

long gcd(long a,long b)
{
     long c=a%b;

     while(c)
      {
      a=b;
      b=c;
      c=a%b;
      }
     return b;
}

int main()
{
    long a,b,p;

    scanf("%ld%ld",&a,&b);
    if(b>a) a=b;
    if(b>6) p=0;
    else if(b<1) p=6;
    else p=7-b;
    printf("%ld/%ld\n",p/gcd(p,6),6/gcd(p,6));
    return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a,b,A;
    scanf("%d%d",&a,&b);
    if(a>=b){A=a; }
    else{A=b;}
    A=6-A+1;
    int i;
    for(i=6;i>=A;i--)
    {
        if(6%i==0 && A%i==0){break;}
    }
    printf("%d/%d\n",A/i,6/i);
   // printf("%d",A);
    return 0;
}

#include <stdio.h>
#include <string.h>
int main(){
	int a,b,c,g,e,d;
	float f;
	scanf("%d%d",&a,&b);

	c=a;
	if(a<b){
		c=b;
	}
	d=7-c;
	if(d==6){
		printf("1");
	}
	if(d==4){
		printf("2/3");
	}
	if(d==2){
		printf("1/3");
	}
	if(d==3){
		printf("1/2");
	}
	else{
printf("%d",d);
printf("/");
printf("%d",e);
}
}

#include <stdio.h>

int main()
{
    int y, w, max, A, B;
    scanf("%d &d", &y, &w);

	max = (y>w)?y:w;

	A = (6 - max) + 1;

	switch (A)
	{
		case 6: A= 1; B = 1; break;
		case 4: A= 2; B = 3; break;
		case 2: A= 1; B = 3; break;
		case 0: A= 0; B = 1; break;

	}

    printf("%d\/%d", A,B);
    return 0;
}

#include<stdio.h>
int main()
{
	int a,b,x,y,i;
	scanf("%d%d",&a,&b);
	for(i=2;i<=5;i++)
	{if(a%i==0 && b%i==0)
	  {x=a/i;
	            y=b/i;}}

	if(x>y)
		printf("%d/%d",y,x);
	else
		printf("%d/%d",x,y);
	return 0;
}

#include <stdio.h>

int main()
{
    int y=0, w=0, max = 0, A = 0, B = 0;
    scanf("%d &d", &y, &w);

		if (y>=w)
		{
			A = (6 - y) + 1;
		}
		else
		{
			A = (6 - w) + 1;
		}

	switch (A)
	{
		case 6: A= 1; B = 1; break;
		case 4: A= 2; B = 3; break;
		case 3: A= 1; B = 2; break;
		case 2: A= 1; B = 3; break;
		case 0: A= 0; B = 1; break;
		default : B = 6;
	}

    printf("%d\/%d", A,B);
    return 0;
}

#include<stdio.h>
int main()
{
    int x,y,max;
    scanf("%d %d",&x,&y);
    if(x>=y)
    max=x;
    else
    max=y;
    if(6%(6-max+1)==0)
    printf("1/%d",6/(6-max+1));
    else
    printf("%d/6",6-max+1);
    return 0;
}

#include<stdio.h>

int max(int num1, int num2)
{
    return (num1 > num2 ) ? num1 : num2;
}

int main(){
    int Y,W,num,den = 6;
    scanf("%d %d",&Y,&W);
    num = max(Y,W) - 1;
    if(num % 2 == 0 && den % 2 == 0){
        num = num / 2;
        den = den / 2;
    }
    else if(num % 3 == 0 && den % 3 == 0){
        num = num / 3;
        den = den / 3;
    }
    printf("%d/%d",num,den);

}

#include<stdio.h>
#include<math.h>
int main()
{
    int a,b,c;
    double d,e,f,g;
    scanf("%d%d",&a,&b);
    if(a>=b)
    {

        c=(7-a);
        d=(double)c/6.0;
        e=1.0/3.0;
        f=1.0/2.0;
        g=2.0/3.0;
        if(d==g)
        {
            printf("2/3");
        return 0;
        }
        else if(d==f){
            printf("1/2");
            return 0;
        }
         else if(d==e)
        {
            printf("1/3");
        return 0;
        }
        else if(d==1){
             printf("1/1");
        return 0;
        }
        else
          printf("%d/6",c)  ;
        return 0;
    }
    else{
        c=(7-b);
        d=(double)c/6.0;
        e=1.0/3.0;
        f=1.0/2.0;
        g=2.0/3.0;
        if(d==g)
        {
            printf("2/3");
        return 0;
        }
        else if(d==e)
        {
            printf("1/3");
        return 0;
        }
        else if(d==1){
             printf("1/1");
        return 0;
        }

        else if( d==f){
            printf("1/2");
            return 0;
        }
        else

         printf("%d/6",c)  ;
        return 0;
    }
       return 0;
}

#include<stdio.h>
int max(int a,int b){
    if(a>b) return a;
    else return b;
}
int main(){
    int yakko,wakko,dot,probab;
    int d;
    scanf("%d %d\n",&yakko,&wakko);
    d=max(yakko,wakko);
    dot=(6-d)+1;
    switch(dot){
        case 0 : printf("0/1\n");
                 break;
        case 1 : printf("1/6\n");
                 break;
        case 2 : printf("1/6\n");
                 break;
        case 3 : printf("1/2\n");
                 break;
        case 4 : printf("2/3\n");
                 break;
        case 5 : printf("5/6\n");
                 break;
        case 6 : printf("1/1\n");
                 break;
    }
    return 0;
}

#include <stdio.h>

int main(){
    int a,b,max,n;
    scanf("%d%d",&a,&b);
    if(a>b)
        max=a;
    else
        max=b;
    n=6-max+1;
    if(5%n==0){
        printf("1/%d",6/n);
    }
    else
    {
        if(n%2==0)
            printf("%d/3",n/2);
        else
            printf("%d/6",n);
    }
}

#include<stdio.h>
int main()
{
    int a,b,p,n;
    scanf("%d %d",&a,&b);
    int c=a>b?a:b;

    int d=7-c;
    for(int i=2;i<=3;i++)
    {
        if(d%i==0&&6%i==0)
        {
            n=d/i;
            p=6/i;
        }
        else
        {
            n=d;
            p=6;
        }
    }
    printf("%d/%d",n,p);
   return 0;
}

#include <stdio.h>
int main()
{
    int a,b,temp;
    scanf("%d %d",&a,&b);
    if(a>b)
    {
        temp=b;
        b=a;
        a=temp;
    }
    if(b==1)
        printf("1");
    else if(b==2)
        printf("5/6");
    else if(b==3)
        printf("2/3");
    else if(b==4)
        printf("1/2");
    else if(b==5)
        printf("1/3");
    else if(b==6)
        printf("1/6");

}

#include <stdio.h>
#include <stdlib.h>
int main()
{
   int m,n,k,l,max;
   scanf("%d %d",&m,&n);
   if(m>n)max=m;
    else if(m<n)max=n;

   if(m==n){
    printf("1/1");
   }

   else{
    k=7-max;
    if(k%2==0){
      l=(k/2);
    printf("%d/3",l);
    }
    else if(k%3==0){
        l=k/3;
        printf("%d/2",l);
    }
    else{
        printf("%d/6",k);
    }

   }
    return 0;
}

#include<stdio.h>
int main()
{
    int y,w,a,b;
    scanf("%d %d",&y,&w);

    a=w/2;
    b=y/2;

    printf("%d/%d\n",a,b);
    return 0;
}

#include <math.h>
#include <stdio.h>
int main()
{
int w, y, z;
z = (w+y+abs(w-y))/2;
switch (z)
{ case 1 : printf("1/6"); break;
case 2 : printf("1/3"); break;
case 3 : printf("1/2"); break;
case 4 : printf("2/3"); break;
case 5 : printf("5/6"); break;
case 6 : printf("1/1"); break;
return 0; }
}

#include <stdio.h>

int main()
{
    int y, w, max = 0, A = 0, B = 0;
    scanf("%d &d", &y, &w);

	if (y==1)
		max = y;
	else
	{
		max = (y>w)?y:w;
	}

	A = (6 - max) + 1;

	switch (A)
	{
		case 6: A= 1; B = 1; break;
		case 4: A= 2; B = 3; break;
		case 3: A= 1; B = 2; break;
		case 2: A= 1; B = 3; break;
		case 0: A= 0; B = 1; break;
		default : B = 6;
	}

    printf("%d\/%d", A,B);
    return 0;
}

#include<stdio.h>
int main()
{
int w,y,c,a;
scanf("%d %d",&w,&y);
if(y>w)
{
c=y;
}
else
{
c=w;
}
a=7-c;
if(a==0)
printf("0");
else if(a==1)
printf("1/6");
else if(a==2)
printf("1/3");
else if(a==3)
printf("1/2");
else if(a==4)
printf("2/3");
else
printf("%d/6",c);
return 0;
}

#include <stdio.h>

int main()
{
    int y, w, max = 0, A = 0, B = 0;
    scanf("%d &d", &y, &w);

	max = (y>=w)?y:w;

	A = (6 - max) + 1;

	switch (A)
	{
		case 6: A= 1; B = 1; break;
		case 4: A= 2; B = 3; break;
		case 3: A= 1; B = 2; break;
		case 2: A= 1; B = 3; break;
		case 0: A= 0; B = 1; break;
	}

    printf("%d\/%d", A,B);
    return 0;
}

#include<stdio.h>

int main()
{
    int Y,W,temp,a=6;
    scanf("%d %d",&Y,&W);
    if(Y==W)
    {
        printf("%d/%d",1,6);
    }
    else if(Y>W)
    {
        temp=6-Y+1;
        if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
    else
    {
        temp=6-W+1;
        if(temp%3==0)
        {
            temp=temp/3;
            a=a/3;
        }
        else if(temp%2==0)
        {
            temp=temp/2;
            a=a/2;
        }
        printf("%d/%d",temp,a);
    }
}

# include<stdio.h>
 int i=0;
void dg(int max,int n)
{
	if(n>=max)
	{
		i++;
		dg(max,n-1);
 	}
}
int main()
{int x,y,max;
 scanf("%d%d",&x,&y);
 max=(x>y)?x:y;
	dg(max,6);
	if(i==2)
		printf("1/3\n");
	else if(i==3)
		printf("1/2\n");
	else if(i==4)
		printf("2/3");
	else
		printf("%d/6\n",i);
	return 0;
}


#include <math.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <assert.h>
#include <limits.h>
#include <stdbool.h>

int main()
{
    int flag=1,min=1500,max=0,k[3];
    int dict[3]={-1};
    for(int i=0;i<3;i++)
    {
        scanf("%d",&k[i]);
        if(k[i]<=3) flag=0;
        if(k[i]<min) min=k[i];
        if(k[i]>max) max=k[i];
    }
    if(min==1)
    {
        printf("YES\n");
        return 0;
    }
    int mid = k[0]+k[1]+k[2]-min-max;
    dict[0] = 0;
    dict[2] = -1;
    dict[1] = -1;
    if(flag)
    {
        printf("NO\n");
        return 0;
    }
    flag=1;
    for(int i=1;i<=1500;i++)
    {
        if(dict[1]!=-1 && dict[2]!=-1)
        {
            if(i%min!=0 && (i-dict[1])%mid!=0 && (i-dict[2])%max!=0)
            {
                flag=0;
                break;
            }
        }
        else if(dict[1]==-1 && i%min!=0)
        {
            dict[1] = i;
        }
        else if(i%min!=0 && (i-dict[1])%mid!=0){
            dict[2] = i;
        }
    }
    if(flag)
    {
        printf("YES\n");
    }
    else
    {
        printf("NO\n");
    }
    return 0;
}

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int k;
    if(a>b) {k=a;a=b;b=k;}
    if(b>c) {k=b;b=c;c=k;}
    if(a>b) {k=a;a=b;b=k;}
    if(a==1||b<=2||a==3&&b==3&&c==3||(a==2&&b==4&&c==4)) printf("YES\n");
    else printf("NO\n");
}

#include <stdio.h>
int main()
{
	int x1,x2,x3,two=0,four=0;
	scanf("%d %d %d",&x1,&x2,&x3);
	if(x1==2) two++;
	if(x2==2) two++;
	if(x3==2) two++;
	if(x1==4) four++;
	if(x2==4) four++;
	if(x3==4) four++;
	if(x1==1 || x2==1 || x3==1)
		printf("YES\n");
	else
	{
		if(two>=2)
			printf("YES\n");
		else if(four==2 && two==1)
			printf("YES\n");
		else if(x1==3 && x2==3 && x3==3)
			printf("YES\n");
		else
			printf("NO\n");
	}
	return 0;
}

//set many funcs template
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<stdbool.h>
#define inf 1072114514
#define llinf 4154118101919364364
#define mod 1000000007
#define pi 3.1415926535897932384

int max(int a,int b){if(a>b){return a;}return b;}
int min(int a,int b){if(a<b){return a;}return b;}
int zt(int a,int b){return max(a,b)-min(a,b);}
int round(int a,int b){if((a%b)*2 >= b){return (a/b)+1;}return a/b;}
int ceil(int a,int b){if(a%b==0){return a/b;}return (a/b)+1;}
int gcd(int a,int b){int c;while(b!=0){c=a%b;a=b;b=c;}return a;}
int lcm(int a,int b){int c=gcd(a,b);a/=c;return a*b;}
int nCr(int a,int b){int i,r=1;for(i=1;i<=b;i++){r*=(a+1-i);r/=i;}return r;}
int fact(int a){int i,r=1;for(i=1;i<=a;i++){r*=i;}return r;}
int pow(int a,int b){int i,r=1;for(i=1;i<=b;i++){r*=a;}return r;}
long long llmax(long long a,long long b){if(a>b){return a;}return b;}
long long llmin(long long a,long long b){if(a<b){return a;}return b;}
long long llzt(long long a,long long b){return llmax(a,b)-llmin(a,b);}
long long llround(long long a,long long b){if((a%b)*2 >= b){return (a/b)+1;}return a/b;}
long long llceil(long long a,long long b){if(a%b==0){return a/b;}return (a/b)+1;}
long long llgcd(long long a,long long b){long long c;while(b!=0){c=a%b;a=b;b=c;}return a;}
long long lllcm(long long a,long long b){long long c=llgcd(a,b);a/=c;return a*b;}
long long llnCr(long long a,long long b){long long i,r=1;for(i=1;i<=b;i++){r*=(a+1-i);r/=i;}return r;}
long long llfact(long long a){long long i,r=1;for(i=1;i<=a;i++){r*=i;}return r;}
long long llpow(long long a,long long b){long long i,r=1;for(i=1;i<=b;i++){r*=a;}return r;}
double dbmax(double a,double b){if(a>b){return a;}return b;}
double dbmin(double a,double b){if(a<b){return a;}return b;}
double dbzt(double a,double b){return dbmax(a,b)-dbmin(a,b);}
int sortfncsj(const void *a,const void *b){if(*(int *)a>*(int *)b){return 1;}if(*(int *)a==*(int *)b){return 0;}return -1;}
int sortfnckj(const void *a,const void *b){if(*(int *)a<*(int *)b){return 1;}if(*(int *)a==*(int *)b){return 0;}return -1;}
int llsortfncsj(const void *a,const void *b){if(*(long long *)a>*(long long *)b){return 1;}if(*(long long *)a==*(long long *)b){return 0;}return -1;}
int llsortfnckj(const void *a,const void *b){if(*(long long *)a<*(long long *)b){return 1;}if(*(long long *)a==*(long long *)b){return 0;}return -1;}
int dbsortfncsj(const void *a,const void *b){if(*(double *)a>*(double *)b){return 1;}if(*(double *)a==*(double *)b){return 0;}return -1;}
int dbsortfnckj(const void *a,const void *b){if(*(double *)a<*(double *)b){return 1;}if(*(double *)a==*(double *)b){return 0;}return -1;}

int main(void){
    long long i,k[4];
    scanf("%lld%lld%lld",&k[0],&k[1],&k[2]);
    qsort(k,3,sizeof(long long),llsortfncsj);
    if(k[0]==1){printf("YES\n");return 0;}
    if(k[0]==2&&k[1]==2){printf("YES\n");return 0;}
    if(k[0]==2&&k[1]==4&&k[2]==4){printf("YES\n");return 0;}
    if(k[0]==3&&k[1]==3&&k[2]==3){printf("YES\n");return 0;}
    printf("NO\n");
    return 0;
}

#include<stdio.h>
int main()
{
	int a[3],o=0,tw=0,t=0,f=0,i;
	for(i=0;i<3;i++)
	{
		scanf("%d",&a[i]);
		if(a[i]==3)
			t++;
		if(a[i]==1)
			o++;
		if(a[i]==2)
			tw++;
		if(a[i]==4)
			f++;
	}
	if(t==3)
		printf("YES\n");
	 else if(o>=1)
		printf("YES\n");
	else if(tw>=2)
		printf("YES\n");
	else if(tw==1 && f==2)
		printf("YES\n");
	else
		printf("NO\n");
}

#include <stdio.h>
#define LL long long int
LL GCD(LL a, LL b){
	LL c;
	while (a != 0){
		c = a; a = b % a; b = c;
	}
	return b;
}

LL LCM(LL a, LL b){ return a * b / GCD(a, b); }

int try (int x1, int x2, int x3, LL lcm){
	int ret = 1;
	for (LL i=3; i<lcm; i++){
		if (i%x1 == 0 || (i-1)%x2 == 0 || (i-2)%x3 == 0) continue;
		ret = 0;
		break;
	}
	return ret;
}
int main(){
	int x1, x2, x3;
	scanf("%d %d %d", &x1, &x2, &x3);
	LL lcm = LCM(LCM(x1, x2), x3), ret = 1;
	if (try(x1, x2 ,x3, lcm) || try(x1, x3, x2, lcm) ||
		try(x2, x1, x3, lcm) || try(x2, x3, x1, lcm) ||
		try(x3, x1, x2, lcm) || try(x3, x2, x1, lcm) )
		printf("YES\n");
	else printf("NO\n");
	return 0;
}

#include <stdio.h>

int main()
{
	int a,b,c;
	int two = 0,three = 0,four = 0;
	scanf("%d%d%d",&a,&b,&c);
	int miny = 2000;
	if (a < miny) miny = a;
	if (b < miny) miny = b;
	if (c < miny) miny = c;

	if (a == 2) two++;
	if (b == 2) two++;
	if (c == 2) two++;

	if (a == 3) three++;
	if (b == 3) three++;
	if (c == 3) three++;

	if (a == 4) four++;
	if (b == 4) four++;
	if (c == 4) four++;

	if (miny > 3) printf("NO\n");
	else
	{
		if (miny == 1) printf("YES\n");
		else if (three == 3) printf("YES\n");
		else
		{
			if (two == 2 || two == 3) printf("YES\n");
			//else if (two == 1 && three == 2) printf("YES\n");
			else if (four == 2 && two == 1) printf("YES\n");
			else printf("NO\n");
		}
	}

	return 0;
}

#include<stdio.h>

int main(){

int k1,k2,k3;

scanf("%d %d %d",&k1,&k2,&k3);

int arr[3]={k1,k2,k3};

int flag=1;
int i;
while(flag){
for(i=1;i<3;i++){

flag=0;

	if(arr[i]<arr[i-1]){

		int temp=arr[i];
		arr[i]=arr[i-1];
		arr[i-1]=temp;
		flag=1;
	}

}
}

int time[100005]={0};
int j=0;
int k;
for(i=1;i<100000;i++){

	if(j>2)
		break;

	if(time[i]==0){

//		printf("i is %d \n",i);
		for(k=i;k<100000;k+=arr[j]){

			time[k]=1;
		}
		j++;
	}

}
	flag=1;
	for(i=1;i<100000;i++){

		if(time[i]==0){
			flag=0;
			break;
		}
	}

	if(flag==1)
		printf("YES\n");
	else
		printf("NO\n");
return 0;
}

//KRV Template
#include<stdio.h>
#include<string.h>
#include<math.h>
void swap(int *xp, int *yp)
{
    int temp = *xp;
    *xp = *yp;
    *yp = temp;
}
//BTW l,r are indices
void bubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]>arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
void rbubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]<arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
int maxinarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
        if(arr[i+1]>=arr[i])
        {
        	ans = arr[i+1];
        }
	}
	return ans;
}
int mininarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
		if(arr[i+1]<=arr[i])
		{
			ans = arr[i+1];
		}
	}
	return ans;
}
int max(int a,int b,int c)
{
    if(a>=b && a>=c)
    return a;
    if(b>=a && b>=c)
    return b;
    else
    return c;
}
int main()
{
	//The actual part is here!!
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int test = a+b+c;
    if(a==1 || b==1 || c==1)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==2) || (a==2 &&c ==2) || (b==2 &&c ==2))
    {
        printf("YES");
        return 0;
    }
    if(a==3&&b==3&&c==3)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==4 && c==4) || (a==4 && b==4 && c==2) || (a==4 && b==2 && c==4) )
    {
        printf("YES");
        return 0;
    }
    printf("NO");
}

#include <stdio.h>
int main(int argc, char const *argv[])
{ int n,m,v;
  scanf("%d %d %d",&n,&m,&v);
  if (n==1 || m==1 || v==1) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (n==2 && m==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==2 && v==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (v==2 && n==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==3 && n==3 && v==3) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==4 && n==4 && v==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (v==4 && n==4 && m==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==4 && v==4 && n==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  printf("NO\n" );
  return 0;
}

#include <stdio.h>
#include <string.h>
#include <math.h>
#include <stdlib.h>

int main() {

    int i,j,k,n,z,p=0,sum,dist,start,end,min,max,a,b,c,x,y;
  //  char pre[30];
 //   char suf[30];
    int arr[5];
    scanf("%d %d %d",&a,&b,&c);
    arr[0]=a;
    arr[1]=b;
    arr[2]=c;
    for(i=0;i<2;i++){
        for(j=i+1;j<3;j++){
            if(arr[i]>arr[j]){
                z=arr[i];
                arr[i]=arr[j];
                arr[j]=z;
            }
        }
    }
    if(arr[0]==1){
        printf("YES");
    }else if(arr[0]==2 && arr[1]==2){
        printf("YES");
    }else if(arr[0]==2 && arr[1]==4 && arr[2]==4){
        printf("YES");
    }else if(arr[0]==3 && arr[1]==3 && arr[2]==3){
        printf("YES");
    }else{
        printf("NO");
    }
    return 0;
}

#include <stdio.h>
int main()
{
    int ara[3];
    scanf("%d %d %d",&ara[0],&ara[1],&ara[2]);
    int i,j=0,k=0;
    for(i=0;i<3;++i){
        if(ara[i]==1){printf("YES\n"); return 0;}
    }
    for(i=0;i<3;i++){
        if(ara[i]==2) j++;
        else if(ara[i]==4)k++;
    }
    if(j>=2){printf("YES\n"); return 0;}
    if(j==1 && k==2){ printf("YES\n"); return 0;};
    for(i=0;i<3;i++){
        if(ara[i]!=3){
            printf("NO\n");
            return 0;
        }
    }
    printf("YES\n");
    return 0;
}

/* discussed with Dukkha */
#include <stdio.h>
#include <stdlib.h>

#define K	32

int gcd(int a, int b) {
	return b == 0 ? a : gcd(b, a % b);
}

int lcm(int a, int b) {
	return a / gcd(a, b) * b;
}

int main() {
	int k1, k2, k3, tmp, yes;

	scanf("%d%d%d", &k1, &k2, &k3);
	if (k1 > k2)
		tmp = k1, k1 = k2, k2 = tmp;
	if (k1 > k3)
		tmp = k1, k1 = k3, k3 = tmp;
	if (k2 > k3)
		tmp = k2, k2 = k3, k3 = tmp;
	if (k1 == 1)
		yes = 1;
	else if (k1 >= 3)
		yes = k3 == 3;
	else {	/* k1 == 2 */
		if (k2 == 2)
			yes = 1;
		else if (k2 >= 4)
			yes = k3 == 4;
		else { /* k2 == 3 */
			if (k3 > 6)
				yes = 0;
			else { /* k3 = 3, 4, 5, 6 */
				static char used[K];
				int k, r1, r2, r3, i;

				k = lcm(lcm(k1, k2), k3);
				yes = 0;
				for (r1 = 0; r1 < k1; r1++)
					for (r2 = 0; r2 < k2; r2++)
						for (r3 = 0; r3 < k3; r3++) {
							for (i = 0; i < k; i++)
								used[i] = 0;
							for (i = 0; i * k1 < k; i++)
								used[i * k1 + r1] = 1;
							for (i = 0; i * k2 < k; i++)
								used[i * k2 + r2] = 1;
							for (i = 0; i * k3 < k; i++)
								used[i * k3 + r3] = 1;
							yes = 1;
							for (i = 0; i < k; i++)
								if (!used[i])
									yes = 0;
							if (yes)
								goto out;
						}
out:;
			}
		}
	}
	printf(yes ? "YES\n" : "NO\n");
	return 0;
}

#include<stdio.h>
#include<stdlib.h>

int cmp(const void *a,const void *b){
	return *(int*)a - *(int*)b;
}

int main()
{
	int a,b,c;
	scanf("%d%d%d",&a,&b,&c);
	int t[10]={},i;
	int m[3]={},ind=0,s;
	m[0]=a,m[1]=b,m[2]=c,s=1;
	qsort(m,3,sizeof(int),cmp);
	for(i=0;i<3;i++)
	{
		for(ind=s;ind<10;ind+=m[i])
			t[ind]=1;
		ind=1;
		while(t[ind]==1 && ind<10)
			ind++;
		s=ind;
		// printf("s:%d\n",s );
	}
	int fl=0;
	for(i=1;i<10;i++){
		// printf("%d ",t[i] );
		if(t[i] == 0)
			fl=1;
	}
	// puts("");
	if(fl)
		printf("NO\n");
	else
		printf("YES\n");
	return 0;
}

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<stdbool.h>
#include<float.h>
#include<math.h>
#include<inttypes.h>
#include<assert.h>
#include<ctype.h>
#include<limits.h>
#include<time.h>
#define ll long long
#define For(i,n)	for(i=0;i<n;i++)
#define rep(i ,a ,b)	for(i=(a);i<=(b);i++)
#define mset(a ,value)	memset(a ,value ,sizeof(a))
#define s(a)	scanf("%d" ,&a);
#define ls(a)	scanf("%ld" ,&a)
#define reg(i)	register int i
#define infinite INT_MAX
#define MAX 100005
#define NIL -1
int min(int a,int b){	return (a < b ? a : b)	;}
int max(int a,int b){	return (a > b ? a : b)	;}
int a[3];
int cmp(const void *a,const void *b){
	int *a1 = (int *)a;
	int *b1 = (int *)b;
	if((*a1) > (*b1))	return 1;
	if((*a1) == (*b1))	return 0;
	return -1;
}
int main(){
	scanf("%d%d%d" ,a ,a + 1 ,a + 2);
	qsort(a ,3 ,sizeof(a[0]) ,cmp);
	if(a[0] == 1)	puts("YES");
	else if(a[0] == 2){
		if(a[1] == 2)	puts("YES");
		else if(a[1] == 4 && a[2] == 4)	puts("YES");
		else puts("NO");
	}else if(a[0] == 3){
		if(a[1] == 3 && a[2] == 3)	puts("YES");
		else puts("NO");
	}else	puts("NO");
	return 0;
}

#include <stdio.h>
#include <string.h>
#include <limits.h>
#include <math.h>
int main() {
    int a, b, c;
    scanf("%d%d%d", &a, &b, &c);
    if (a == 1 || b == 1 || c == 1)
    {
        printf("YES");
        return 0;
    }
    if(1.0 * 1 / a + 1.0 * 1 / b + 1.0 * 1 / c  < 1){
        printf("NO");
        return 0;
    }else{
        int test1, test2, test3;
        if(a == 2){
            test1 = 1;
        }else{
            test1 = 0;
        }
        if(b == 2){
            test2 = 1;
        }else{
            test2 = 0;
        }if(c == 2){
            test3 = 1;
        }else{
            test3 = 0;
        }
        if(test1 + test2 + test3 >= 2){
            printf("YES");
            return 0;
        }else if (test1 + test2 + test3 == 0){
            printf("YES");
            return 0;
        }else{
            if(a == 4){
                test1 = 1;
            }else{
                test1 = 0;
            }
            if(b == 4){
                test2 = 1;
            }else{
                test2 = 0;
            }if(c == 4){
                test3 = 1;
            }else{
                test3 = 0;
            }
            if(test1 + test2 + test3 == 2){
                printf("YES");
                return 0;
            }else{
                printf("NO");
                return 0;
            }
        }
    }

}

#include <stdio.h>
#include <stdlib.h>

static int compare_int(const void* a, const void* b) { return *(const int*)a - *(const int*)b; }

int main() {
    int k[3]; scanf("%d %d %d\n", &k[0], &k[1], &k[2]);
    qsort(k, 3, sizeof(int), compare_int);

    if(k[0] == 1) { printf("YES\n"); return 0; }
    if(k[1] <= 2) { printf("YES\n"); return 0; }
    if(k[0] == 2) { printf("%s\n", k[1] == 4 && k[2] == 4 ? "YES" : "NO"); return 0; }
    if(k[0] == 3) { printf("%s\n", k[1] == 3 && k[2] == 3 ? "YES" : "NO"); return 0; }

    printf("NO\n"); // k[0] > 3

    return 0;
}

#include<stdio.h>

int main(){

    int k[3];
    int i;
    int sum = 0;
    int max = 0;

    for(i = 0; i < 3; i++){
        scanf("%d", &k[i]);
        sum = sum + k[i];

        if(k[i] > max){
            max = k[i];
        }
    }

    for(i = 0; i < 3; i++){
        if(k[i] == 1){
            printf("YES\n");
            return 0;
        }
    }

    if(max == 2){
        printf("YES\n");
        return 0;
    }

    if(max > 4){
        if(max + 4 < sum){
            printf("NO\n");
        } else {
            printf("YES\n");
        }
    } else {
        if(max + 4 >= sum){
            printf("YES\n");
        } else {
            if( (max == 3 && sum == 9) || (max == 4 && sum == 10 && k[0] * k[1] * k[2] == 32))
                printf("YES\n");
            else
                printf("NO\n");

        }
    }

    return 0;

}

#include<stdio.h>

int main(){

    int k[3];
    int i;
    int sum = 0;
    int max = 0;

    for(i = 0; i < 3; i++){
        scanf("%d", &k[i]);
        sum = sum + k[i];

        if(k[i] > max){
            max = k[i];
        }
    }

    for(i = 0; i < 3; i++){
        if(k[i] == 1){
            printf("YES\n");
            return 0;
        }
    }

       if(max + 4 >= sum){
            printf("YES\n");
        } else {
            if((max == 3 && sum == 9) || (max == 4 && sum == 10 && k[0] * k[1] * k[2] == 32))
                printf("YES\n");
            else {
                printf("NO\n");
            }
        }
    }

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main()
{
	int n=3,one=0,two=0,three=0,four=0,k;
	int i;
	for(i=0;i<n;i++)
	{
		scanf("%d",&k);
		if(k==1)
		 one++;
		else if(k==2)
		 two++;
		else if(k==3)
		 three++;
		 else if(k==4)
		  four++;
	}
	if(one>=1||two>=2||three>=3||(four==2&&two==1))
	{
		printf("YES\n");
	}
	else
	{
		printf("NO\n");
	}
}

#include<stdio.h>

int main(){

    int k[3];
    int i;
    int sum = 0;
    int max = 0;

    for(i = 0; i < 3; i++){
        scanf("%d", &k[i]);
        sum = sum + k[i];

        if(k[i] > max){
            max = k[i];
        }
    }

    for(i = 0; i < 3; i++){
        if(k[i] == 1){
            printf("YES\n");
            return 0;
        }
    }

    if(max + 4 < sum){
        printf("NO\n");
    } else {
        printf("YES\n");
    }

    return 0;

}

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main()
{
	int n=3,one=0,two=0,three=0,k;
	int i;
	for(i=0;i<n;i++)
	{
		scanf("%d",&k);
		if(k==1)
		 one++;
		else if(k==2)
		 two++;
		else if(k==3)
		 three++;
	}
	if(one>=1||two>=2||three==3)
	{
		printf("YES\n");
	}
	else
	{
		printf("NO\n");
	}
}

#include <math.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <assert.h>
#include <limits.h>
#include <stdbool.h>

int main()
{
    int flag=1,min=1500,max=0,k[3];
    int dict[3]={-1};
    for(int i=0;i<3;i++)
    {
        scanf("%d",&k[i]);
        if(k[i]<=3) flag=0;
        if(k[i]<min) min=k[i];
        if(k[i]>max) max=k[i];
    }
    if(min==1)
    {
        printf("YES\n");
        return 0;
    }
    int mid = k[0]+k[1]+k[2]-min-max;
    dict[0] = min;
    dict[2] = -1;
    dict[1] = -1;
    if(flag)
    {
        printf("NO\n");
        return 0;
    }
    flag=1;
    for(int i=1;i<=1500;i++)
    {
        if(dict[1]!=-1 && dict[2]!=-1)
        {
            if(i%min!=0 && (i-1)%mid!=0 && (i-2)%max!=0)
            {
                flag=0;
                break;
            }
        }
        else if(dict[1]==-1)
        {
            dict[1] = i;
        }
        else{
            dict[2] = i;
        }
    }
    if(flag)
    {
        printf("YES\n");
    }
    else
    {
        printf("NO\n");
    }
    return 0;
}

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int k;
    if(a>b) {k=a;a=b;b=k;}
    if(b>c) {k=b;b=c;c=k;}
    if(a>b) {k=a;a=b;b=k;}
    if(c<=3||(a==2&&b==4&&c==4)) printf("YES\n");
    else printf("NO\n");
}

 #include <stdio.h>
#include <stdlib.h>
int main()
{
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int k;
    if(a<b) {k=a;a=b;b=k;}
    if(b<c) {k=b;b=c;c=k;}
    if(a<b) {k=a;a=b;b=k;}
    if(c<=3||(a==2&&b==4&&c==4)) printf("YES\n");
    else printf("NO\n");
}

#include <stdio.h>
int main()
{
	int x1,x2,x3,two=0,four=0;
	scanf("%d %d %d",&x1,&x2,&x3);
	if(x1==2) two++;
	if(x2==2) two++;
	if(x3==2) two++;
	if(x1==4) four++;
	if(x2==4) four++;
	if(x3==4) four++;
	if(x1==1 || x2==1 || x3==1)
		printf("YES\n");
	else
	{
		if(two>=2)
			printf("YES\n");
		else if(four==2 && two==1)
			printf("YES\n");
		else
			printf("NO\n");
	}
	return 0;
}

#include<stdio.h>
int main()
{
	int a[3],o=0,tw=0,t=0,f=0,i;
	for(i=0;i<3;i++)
	{
		scanf("%d",&a[i]);
		if(a[i]==3)
			t++;
		if(a[i]==1)
			o++;
		if(a[i]==2)
			tw++;
		if(a[i]==4)
			f++;
	}
	if(t==3)
		printf("YES\n");
	 else if(o>=1)
		printf("YES\n");
	else if(tw>=2)
		printf("YES\n");
	else if(tw==2 && f==1)
		printf("YES\n");
	else
		printf("NO\n");
}

#include <stdio.h>

int GCD(int a, int b){
	int c;
	while (a != 0){
		c = a; a = b % a; b = c;
	}
	return b;
}

int LCM(int a, int b){ return a * b / GCD(a, b); }

int main(){
	int x1, x2, x3;
	scanf("%d %d %d", &x1, &x2, &x3);
	int lcm = LCM(LCM(x1, x2), x3), ret = lcm, shift = 1;
	ret -= lcm / x1 + lcm / x2 + lcm / x3;
	if (GCD(x1, x2) <= shift) ret += lcm / LCM(x1, x2);
	else shift++;
	if (GCD(x1, x3) <= shift) ret += lcm / LCM(x1, x3);
	else shift++;
	if (GCD(x2, x3) <= shift) ret += lcm / LCM(x1, x3);
	else shift++;
	if (ret == 0) printf("YES\n");
	else printf("NO\n");
	return 0;
}

#include <stdio.h>
#define LL long long int
LL GCD(LL a, LL b){
	LL c;
	while (a != 0){
		c = a; a = b % a; b = c;
	}
	return b;
}

LL LCM(LL a, LL b){ return a * b / GCD(a, b); }

int main(){
	int x1, x2, x3;
	scanf("%d %d %d", &x1, &x2, &x3);
	LL lcm = LCM(LCM(x1, x2), x3), ret = 1;
	for (LL i=3; i<lcm; i++){
		if (i%x1 == 0 || (i-1)%x2 == 0 || (i-2)%x3 == 0)
			continue;
		ret = 0;
		break;
	}
	if (ret) printf("YES\n");
	else printf("NO\n");
	return 0;
}

#include <stdio.h>

int GCD(int a, int b){
	int c;
	while (a != 0){
		c = a; a = b % a; b = c;
	}
	return b;
}

int LCM(int a, int b){ return a * b / GCD(a, b); }

int main(){
	int x1, x2, x3;
	scanf("%d %d %d", &x1, &x2, &x3);
	int lcm = LCM(LCM(x1, x2), x3), ret = lcm, shift = 1;
	ret -= lcm / x1 + lcm / x2 + lcm / x3;
	if (GCD(x1, x2) <= shift) ret += lcm / LCM(x1, x2);
	else shift++;
	if (GCD(x1, x3) <= shift) ret += lcm / LCM(x1, x3);
	else shift++;
	if (GCD(x2, x3) <= shift) ret += lcm / LCM(x2, x3);
	else shift++;
	if (ret == 0) printf("YES\n");
	else printf("NO\n");
	return 0;
}

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a;
    int b;
    int c;
    int i=0;
    int w=0;
    int t=0;

    scanf("%d", &a);
    scanf("%d", &b);
    scanf("%d", &c);

    if(a==1) i++;
    if(a==2) w++;
    if(a==3) t++;

    if(b==1) i++;
    if(b==2) w++;
    if(b==3) t++;

    if(c==1) i++;
    if(c==2) w++;
    if(c==3) t++;

    if(i>0 || w>1 || t>2) printf("YES");
    else printf("NO");

    return 0;
}

#include <stdio.h>
int main()
{
    int ara[3];
    scanf("%d %d %d",&ara[0],&ara[1],&ara[2]);
    int i,j=0,k=0;
    for(i=0;i<3;++i){
        if(ara[i]==1){printf("YES\n"); return 0;}
    }
    for(i=0;i<3;i++){
        if(ara[i]==2) j++;
        else if(ara[i]==4)k++;
    }
    if(j==2){printf("YES\n"); return 0;}
    if(j==1 && k==2){ printf("YES\n"); return 0;};
    for(i=0;i<3;i++){
        if(ara[i]!=3){
            printf("NO\n");
            return 0;
        }
    }
    printf("YES\n");
    return 0;
}

#include <stdio.h>
int main()
{
    int ara[3];
    scanf("%d %d %d",&ara[0],&ara[1],&ara[2]);
    int i,j=0;
    for(i=0;i<3;++i){
        if(ara[i]==1){printf("YES\n"); return 0;}
    }
    for(i=0;i<3;i++){
        if(ara[i]==2) j++;
    }
    if(j==2){printf("YES\n"); return 0;}
    for(i=0;i<3;i++){
        if(ara[i]!=3){
            printf("NO\n");
            return 0;
        }
    }
    printf("YES\n");
    return 0;
}

//Date : 27 - 12 - 17

#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<stdbool.h>
#include<float.h>
#include<math.h>
#include<inttypes.h>
#include<assert.h>
#include<ctype.h>
#include<limits.h>
#include<time.h>
#define ll long long
#define For(i,n)	for(i=0;i<n;i++)
#define rep(i ,a ,b)	for(i=(a);i<=(b);i++)
#define mset(a ,value)	memset(a ,value ,sizeof(a))
#define s(a)	scanf("%d" ,&a);
#define ls(a)	scanf("%ld" ,&a)
#define reg(i)	register int i
#define infinite INT_MAX
#define MAX 100005
#define NIL -1
int min(int a,int b){	return (a < b ? a : b)	;}
int max(int a,int b){	return (a > b ? a : b)	;}
/*
int a[MAX] ,p[MAX];
int main(){
	int n ,i ,m = INT_MAX ,r = 0 ,d = INT_MAX;
	s(n);
	For(i ,n){	s(a[i]);	m = min(m ,a[i]);	}
	For(i ,n)	if(a[i] == m)	p[r++] = i;
	rep(i ,1,r - 1)	d = min(d ,p[i] - p[i - 1]);
	printf("%d" ,d);
	return 0;
}*/
/*
void swap(int *a,int *b){
	int t = *a;
	*a = *b;
	*b = t;
}
int main(){
	int n ,a ,b ,i ,x ,y;
	scanf("%d%d%d" ,&n ,&a ,&b);
	if(a > b)	swap(&a ,&b);
	rep(i ,1 ,a){
		x = a / i;
		y = b / i;
		if(x + y < n)	break;
	}
	printf("%d" ,i - 1);
	return 0;
}*/

int a[3];
int cmp(const void *a,const void *b){
	int *a1 = (int *)a;
	int *b1 = (int *)b;
	if((*a1) > (*b1))	return 1;
	if((*a1) == (*b1))	return 0;
	return -1;
}
int main(){
	scanf("%d%d%d" ,a ,a + 1 ,a + 2);
	qsort(a ,3 ,sizeof(a[0]) ,cmp);
	if(a[0] == 1)	puts("YES");
	else if(a[0] == 2){
		if(a[1] == 2)	puts("YES");
		else puts("NO");
	}else if(a[0] == 3){
		if(a[1] == 3 && a[2] == 3)	puts("YES");
		else puts("NO");
	}else	puts("NO");
	return 0;
}

#include <stdio.h>

int main() {
int k1,k2,k3;

scanf("%d %d %d",&k1,&k2,&k3);

int flag=0;

if(k1==2)
flag++;

if(k2==2)
flag++;

if(k3==2)
flag++;

if(flag>=2)
{
    printf("YES");
}
else
printf("NO");

	return 0;
}

#include <stdio.h>

int main() {
int k1,k2,k3;

scanf("%d %d %d",&k1,&k2,&k3);

int flag=0;

if((k1==1)||(k2==1)||(k3==1))
{
    printf("YES");
    return 0;

}

if(k1==2)
flag++;

if(k2==2)
flag++;

if(k3==2)
flag++;

if(flag>=2)
{
    printf("YES");
}
else
printf("NO");

	return 0;
}

#include<stdio.h>
int main()
{
    int a, b, c, t=0;
    scanf("%d %d %d", &a, &b, &c);
    if(a==2)
        t++;
    if(b==2)
        t++;
    if(c==2)
        t++;
    if(a==1 || b == 1 || c==1)
        printf("YES\n");
    else if(a == 3 && b == 3 && c == 3){
        printf("YES\n");
    }
    else if(t>=2)
    printf("YES\n");
    else
        printf("NO\n");
}

#include<stdio.h>
#define min(a,b) (a<b?a:b)
#define min3(a,b,c) (min(a,min(b,c)))

main()
{
	int a,b,c;
	scanf("%d%d%d",&a,&b,&c);
	int m=min3(a,b,c);
	if(m>=4)      puts("NO");
	else if(m==1) puts("YES");
	else if(m==3) puts(a==3&&b==3&&c==3?"YES":"NO");
	else          puts(a==2&&b==2||a==2&&c==2||b==2&&c==2?"YES":"NO");
}

#include "stdio.h"

int main()
{
	int a, b, c;
	while (scanf("%d%d%d", &a, &b, &c) != EOF)
	{
		if (a == 1 || b == 1 || c == 1) {
			printf("YES\n");
			continue;
		}
		if ((a == 2 && b == 2) || (a == 2 && c == 2) || (b == 2 && c == 2)) {
			printf("YES\n");
			continue;
		}
		if (a == 3 && b == 3 && c == 3) {
			printf("YES\n");
			continue;
		}
		printf("NO\n");
	}
	return 0;
}

#include <stdio.h>

int main()
{
	int a,b,c;
	int two = 0,three = 0;
	scanf("%d%d%d",&a,&b,&c);
	int miny = 2000;
	if (a < miny) miny = a;
	if (b < miny) miny = b;
	if (c < miny) miny = c;

	if (a == 2) two++;
	if (b == 2) two++;
	if (c == 2) two++;

	if (a == 3) three++;
	if (b == 3) three++;
	if (c == 3) three++;

	if (miny > 3) printf("NO\n");
	else
	{
		if (miny == 1 || miny == 3) printf("YES\n");
		else
		{
			if (two == 2 || two == 3) printf("YES\n");
			else if (two == 1) printf("NO\n");
		}
	}

	return 0;
}

#include <stdio.h>

int main()
{
	int a,b,c;
	int two = 0,three = 0;
	scanf("%d%d%d",&a,&b,&c);
	int miny = 2000;
	if (a < miny) miny = a;
	if (b < miny) miny = b;
	if (c < miny) miny = c;

	if (a == 2) two++;
	if (b == 2) two++;
	if (c == 2) two++;

	if (a == 3) three++;
	if (b == 3) three++;
	if (c == 3) three++;

	if (miny > 3) printf("NO\n");
	else
	{
		if (miny == 1) printf("YES\n");
		else if (three == 3) printf("YES\n");
		else
		{
			if (two == 2 || two == 3) printf("YES\n");
			else printf("NO\n");
		}
	}

	return 0;
}

#include <stdio.h>

int main()
{
	int a,b,c;
	int two = 0,three = 0;
	scanf("%d%d%d",&a,&b,&c);
	int miny = 2000;
	if (a < miny) miny = a;
	if (b < miny) miny = b;
	if (c < miny) miny = c;

	if (a == 2) two++;
	if (b == 2) two++;
	if (c == 2) two++;

	if (a == 3) three++;
	if (b == 3) three++;
	if (c == 3) three++;

	if (miny > 3) printf("NO\n");
	else
	{
		if (miny == 1) printf("YES\n");
		else if (three == 3) printf("YES\n");
		else
		{
			if (two == 2 || two == 3) printf("YES\n");
			else if (two == 1 && three == 2) printf("YES\n");
			else printf("NO\n");
		}
	}

	return 0;
}

//KRV Template
#include<stdio.h>
#include<string.h>
#include<math.h>
void swap(int *xp, int *yp)
{
    int temp = *xp;
    *xp = *yp;
    *yp = temp;
}
//BTW l,r are indices
void bubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]>arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
void rbubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]<arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
int maxinarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
        if(arr[i+1]>=arr[i])
        {
        	ans = arr[i+1];
        }
	}
	return ans;
}
int mininarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
		if(arr[i+1]<=arr[i])
		{
			ans = arr[i+1];
		}
	}
	return ans;
}
int max(int a,int b,int c)
{
    if(a>=b && a>=c)
    return a;
    if(b>=a && b>=c)
    return b;
    else
    return c;
}
int main()
{
	//The actual part is here!!
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int test = a+b+c;
    if(a==1 || b==1 || c==1)
    {
        printf("YES");
        return 0;
    }
    if((a==2&&b==2) || (a==2&&c==2) || (b==2&&c==2))
    {
        printf("YES");
        return 0;
    }
    if(a==3&&b==3&&c==3)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==2 && c==4) || (a==2 && b==4 && c==2) || (a==4 && b==2 && c==2) )
    {
        printf("YES");
        return 0;
    }
    printf("NO");
}

//KRV Template
#include<stdio.h>
#include<string.h>
#include<math.h>
void swap(int *xp, int *yp)
{
    int temp = *xp;
    *xp = *yp;
    *yp = temp;
}
//BTW l,r are indices
void bubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]>arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
void rbubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]<arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
int maxinarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
        if(arr[i+1]>=arr[i])
        {
        	ans = arr[i+1];
        }
	}
	return ans;
}
int mininarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
		if(arr[i+1]<=arr[i])
		{
			ans = arr[i+1];
		}
	}
	return ans;
}
int max(int a,int b,int c)
{
    if(a>=b && a>=c)
    return a;
    if(b>=a && b>=c)
    return b;
    else
    return c;
}
int main()
{
	//The actual part is here!!
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int test = a+b+c;
    if(a==1 || b==1 || c==1)
    {
        printf("YES");
        return 0;
    }
    if((a==2&&b==2) || (a==2&&c==2) || (b==2&&c==2))
    {
        printf("YES");
        return 0;
    }
    if(a==3&&b==3&&c==3)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==3 && c==3) || (a==3 && b==2 && c==3) || (a==3 && b==3 && c==2) )
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==2 && c==4) || (a==2 && b==4 && c==2) || (a==4 && b==2 && c==2) )
    {
        printf("YES");
        return 0;
    }
    printf("NO");
}

//KRV Template
#include<stdio.h>
#include<string.h>
#include<math.h>
void swap(int *xp, int *yp)
{
    int temp = *xp;
    *xp = *yp;
    *yp = temp;
}
//BTW l,r are indices
void bubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]>arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
void rbubblesort(int arr[] , int l , int r)
{
    int i,j,temp=0;
    for(int i = l ; i<=r ; i++)
    {
    	for(int j = l ; j<r-temp ; j++)
    	{
    		if(arr[j]<arr[j+1])
    		{
    			swap(&arr[j],&arr[j+1]);
    		}
    	}
    	temp++;
    }
}
int maxinarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
        if(arr[i+1]>=arr[i])
        {
        	ans = arr[i+1];
        }
	}
	return ans;
}
int mininarray(int arr[] , int l , int r)
{
	int ans = arr[0];
	for(int i = l ; i<r ; i++)
	{
		if(arr[i+1]<=arr[i])
		{
			ans = arr[i+1];
		}
	}
	return ans;
}
int max(int a,int b,int c)
{
    if(a>=b && a>=c)
    return a;
    if(b>=a && b>=c)
    return b;
    else
    return c;
}
int main()
{
	//The actual part is here!!
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    int test = a+b+c;
    if(a==1 || b==1 || c==1)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==2) || (a==2 &&c ==2) || (b==2 &&c ==2))
    {
        printf("YES");
        return 0;
    }
    if(a==3&&b==3&&c==3)
    {
        printf("YES");
        return 0;
    }
    if((a==2 && b==2 && c==4) || (a==2 && b==4 && c==2) || (a==4 && b==2 && c==2) )
    {
        printf("YES");
        return 0;
    }
    printf("NO");
}

#include <stdio.h>
int main(int argc, char const *argv[])
{ int n,m,v;
  scanf("%d %d %d",&n,&m,&v);
  if (n==1 || m==1 || v==1) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (n==2 && m==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==2 && v==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (v==2 && n==2) {
    printf("YES\n");
    return 0;
    /* code */
  }
  if (m==3 && n==3 && v==3) {
    printf("YES\n");
    return 0;
    /* code */
  }
  printf("NO\n" );
  return 0;
}

#include <stdio.h>
#include <stdlib.h>

int a,b,c;

int main(int argc, char *argv[])
{
	scanf("%d%d%d", &a, &b, &c);
	if (a==1 || b==1 || c==1)
	printf("YES");

	else if ((a==2 && b==2) || (a==2 && c==2) || (b==2 && c==2))
	printf("YES");

	else if (a==3 && b==3 && c==3)
	printf("YES");

	else printf("NO");
	return 0;
}

#include <stdio.h>
#include<stdlib.h>
int main()
{
    int a,b,c;
    int d;
    scanf("%d %d %d",&a,&b,&c);
    if(a==1||b==1||c==1)
    {
        printf("YES");

    }
    else if((a==2&&b==2)||(b==2&&c==2)||(c==2&&a==2))
    {
        printf("YES");

    }
    else
    printf("NO");
    return 0;
}