#include<bits/stdc++.h>
using namespace std;
#define int long long
#define INF 0x3f3f3f3f3f3f3f3f
#define pii pair<int,int>
#define fi first
#define se second
#define all(_a) _a.begin(), _a.end()
int a[]={0,1,0,0,4,0,0};
int b[]={0,0,2,3,0,5,6};

void solve(){
    int x,y;
    cin>>x>>y;
    for(int i=1;i<=6;i++){
        for(int j=1;j<=6;j++){
            for(int z=1;z<=6;z++){
                if(a[i]+a[j]+a[z]==x&&b[i]+b[j]+b[z]==y){
                    cout<<"Yes\n";
                    return;
                }
            }
        }
    }
    cout<<"No\n";
}
signed main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr), cout.tie(nullptr);
    cout << setiosflags(ios::fixed) << setprecision(15);
    int T;
    T=1;
    //cin>>T;
    while(T--)solve();
    return 0;
}