Yakko, Wakko and Dot, world-famous animaniacs, decided to rest from acting in cartoons, and take a leave to travel a bit. Yakko dreamt to go to Pennsylvania, his Motherland and the Motherland of his ancestors. Wakko thought about Tasmania, its beaches, sun and sea. Dot chose Transylvania as the most mysterious and unpredictable place.But to their great regret, the leave turned to be very short, so it will be enough to visit one of the three above named places. That's why Yakko, as the cleverest, came up with a truly genius idea: let each of the three roll an ordinary six-sided die, and the one with the highest amount of points will be the winner, and will take the other two to the place of his/her dreams.Yakko thrown a die and got Y points, Wakko — W points. It was Dot's turn. But she didn't hurry. Dot wanted to know for sure what were her chances to visit Transylvania.It is known that Yakko and Wakko are true gentlemen, that's why if they have the same amount of points with Dot, they will let Dot win.

The only line of the input file contains two natural numbers Y and W — the results of Yakko's and Wakko's die rolls.

Output the required probability in the form of irreducible fraction in format «A/B», where A — the numerator, and B — the denominator. If the required probability equals to zero, output «0/1». If the required probability equals to 1, output «1/1».

NoteDot will go to Transylvania, if she is lucky to roll 4, 5 or 6 points.

#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>
#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>
    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>
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 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,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,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 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>

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>
#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 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>

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>
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>
#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>
#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>
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 <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<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,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 <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>

#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>
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>

#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,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>
 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>
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 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()
{
    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>
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 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 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 <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>
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 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>
#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>
#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>
#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 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"

#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 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>
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<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>

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 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 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,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>
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>
#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 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,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>

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(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>
#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 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 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 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 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>
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>
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>
#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 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()
{
	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 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 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()
{
    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 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>
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;
}


Mishka is decorating the Christmas tree. He has got three garlands, and all of them will be put on the tree. After that Mishka will switch these garlands on.When a garland is switched on, it periodically changes its state — sometimes it is lit, sometimes not. Formally, if i-th garland is switched on during x-th second, then it is lit only during seconds x, x + ki, x + 2ki, x + 3ki and so on.Mishka wants to switch on the garlands in such a way that during each second after switching the garlands on there would be at least one lit garland. Formally, Mishka wants to choose three integers x1, x2 and x3 (not necessarily distinct) so that he will switch on the first garland during x1-th second, the second one — during x2-th second, and the third one — during x3-th second, respectively, and during each second starting from max(x1, x2, x3) at least one garland will be lit.Help Mishka by telling him if it is possible to do this!

The first line contains three integers k1, k2 and k3 (1 ≤ ki ≤ 1500) — time intervals of the garlands.

If Mishka can choose moments of time to switch on the garlands in such a way that each second after switching the garlands on at least one garland will be lit, print YES. Otherwise, print NO.

NoteIn the first example Mishka can choose x1 = 1, x2 = 2, x3 = 1. The first garland will be lit during seconds 1, 3, 5, 7, ..., the second — 2, 4, 6, 8, ..., which already cover all the seconds after the 2-nd one. It doesn't even matter what x3 is chosen. Our choice will lead third to be lit during seconds 1, 4, 7, 10, ..., though.In the second example there is no way to choose such moments of time, there always be some seconds when no garland is lit.

#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 <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 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 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 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;
}