/**
 *    title:  I.cpp
 *    author:  Proaes Meluam
 *    created:  2024-09-27 13:16:50
**/
#include <bits/stdc++.h>
#ifdef LOCAL
#include "algo/debug.h" 
#else
#define debug(...) 42
#endif
using namespace std;
using ll = long long;
using ull = unsigned long long;
const double pi = acos(-1);
const double E = exp(1);
constexpr ll mod = 1e9 + 7;
// constexpr int inf = 0x3f3f3f3f;
constexpr ll inf = 0x3f3f3f3f3f3f3f3f;
int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    int a,b,black=0,red=0,flag=0;
    cin>>a>>b;
    for(int i=1;i<=6;i++){
        for(int j=1;j<=6;j++){
            for(int k=1;k<=6;k++){
                if(i==1||i==4){
                    red+=i;
                }else{
                    black+=i;
                }
                if(j==1||j==4){
                    red+=j;
                }else{
                    black+=j;
                }
                if(k==1||k==4){
                    red+=k;
                }else{
                    black+=k;
                }
                if(red==a&&black==b){
                    flag=1;
                }else{
                    red=0;
                    black=0;
                }
            }
        }
    }
    if(flag==0){
        cout<<"No";
    }else{
        cout<<"Yes";
    }
}