//
// Created by 35263 on 2024/10/25.
//
//二分图每次两个顶点的集合都可以被划分成不相同的u,v
//u,v的顶点相同，该图为平衡二分图
//连接u,v中的一对点，使得匹配数正好是增加的
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll maxn = 200005;
ll n,k;
struct Node{
    ll a,b;
}s[maxn];
void update(){

}
void init(){
    cin>>n>>k;
    for(int i=1;i<=6;i++){
        for(int j=1;j<=6;j++){
            for(int z=1;z<=6;z++){
                ll cnt1=0,cnt2=0;
                (i==1||i==4)?cnt1+=i:cnt2+=i;
                (j==1||j==4)?cnt1+=j:cnt2+=j;
                (z==1||z==4)?cnt1+=z:cnt2+=z;
                if(cnt1==n&&cnt2==k){
                    cout<<"Yes\n";
                    return;
                }
            }
        }
    }
    cout<<"No\n";
}
int main(){
    ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    ll t=1;
   // cin>>t;
    while(t--){
        update();
        init();
    }
    return 0;
}