#include <bits/stdc++.h>

using namespace std;

int read(){
    int res=0,sign=1;char ch=getchar();
    for(;ch<'0'||ch>'9';ch=getchar())if(ch=='-')sign=-sign;
    for(;ch>='0'&&ch<='9';ch=getchar()){res=(res<<3)+(res<<1)+(ch^'0');}
    return res*sign;
}

#define rep(i,l,r) for(int i=l;i<=r;++i)
#define dep(i,r,l) for(int i=r;i>=l;--i)

int a,b;

int main(){
    a=read(),b=read();
    rep(i,1,6){
        rep(j,1,6){
            rep(k,1,6){
                int sum1=0,sum2=0;
                if(i==1||i==4){
                    sum1+=i;
                }else{
                    sum2+=i;
                }
                if(j==1||j==4){
                    sum1+=j;
                }else{
                    sum2+=j;
                }
                if(k==1||k==4){
                    sum1+=k;
                }else{
                    sum2+=k;
                }
                if(sum1==a&&sum2==b){
                    puts("Yes");
                    return 0;
                }
            }
        }
    }
    puts("No");
    return 0;
}