#include<bits/stdc++.h>
using namespace std;
#define int long long
const int MAXN = 1e6 + 10;
int N,M,K,Q;
int a[MAXN];
int A,B;

void add(int &x,int &y,int b){
    if(b % 3 == 1) x += b;
    else y += b;
}

void prepare(){
    scanf("%lld %lld",&A,&B);
    for(int i = 1;i <= 6; i++){
        for(int j = 1;j <= 6;j ++){
            for(int k = 1;k <= 6; k++){
                int x = 0,y = 0;
                add(x,y,i);
                add(x,y,j);
                add(x,y,k);
                if(x == A && y == B){
                    printf("Yes\n");
                    return;
                }
            }
        }
    }
    printf("No\n");
    return;
}

signed main(){
    int T = 1;
    //scanf("%lld",&T);
    while(T--){
        prepare();
    }
}