#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define ld long double

void solve() {
	
	int A , B; cin >> A >> B;
	
	for(int i = 1 ; i <= 6 ; i++){
		for(int j = 1 ; j <= 6 ; j++){
			for(int k = 1 ; k <= 6 ; k++){
				int h = 0 , b = 0;
				if(i == 1 || i == 4) h += i;
				if(j == 1 || j == 4) h += j;
				if(k == 1 || k == 4) h += k;
				 
				if(i != 1 && i != 4) b += i;
				if(j != 1 && j != 4) b += j;
				if(k != 1 && k != 4) b += k; 
				
				if(h == A || b == B){
					cout << "Yes\n";
					return;
				}
			}
		}
	}
	
	cout << "No\n";
	
}

int main(){
	ios::sync_with_stdio(false);
    cin.tie(0);
   	
    int __ = 1;
    //cin >> __;
    
	while(__--){
   		solve();
   	}
    return 0;
}