#include<bits/stdc++.h>
#define ll long long
#define IOS ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
using namespace std;
const int N=1e5+10;


int exited(int x){
    if(x==0) return 0;
    else return 1;
}

void solve(){ 
int cnt=0;
int a,b;cin>>a>>b;
int red[3]={0,1,4};
int black[5]={0,2,3,5,6};


for(int i=0;i<=2;i++){
    for(int j=0;j<=2;j++){
        for(int k=0;k<=2;k++){
            for(int ii=0;ii<=4;ii++){
                for(int jj=0;jj<=4;jj++){
                    for(int kk=0;kk<=4;kk++){


            if(red[i]+red[j]+red[k]==a&&black[ii]+black[jj]+black[kk]==b)
            cnt=exited(red[i])+exited(red[j])+exited(red[k])+exited(black[ii])+exited(black[jj])+exited(black[kk]);
            if(cnt==3){cout<<"YES"<<endl;return;}cnt=0;
        }}}
    }
}}



cout<<"NO"<<endl;


}




int main(void){
    IOS
    int t=1;
    //cin>>t;
    while(t--){
        solve();
    }
}