#include <bits/stdc++.h>
using namespace std;
int tbl[][2]={{0,0},{1,0},{2,0},{3,0},{4,0},{5,0},
{1,1},{2,1},{3,1},{4,1},{5,1},{6,1},
{3,2},{4,2},{5,2},{3,3},{4,3},{6,3},{5,4}};
int main(){
int x,y;cin>>x>>y;
x=abs(x),y=abs(y);
if(x<y)swap(x,y);
for(int i=0;i<19;i++){
if(x==tbl[i][0] && y==tbl[i][1]){
cout<<"YES"<<endl;
return 0;
}
}
cout<<"NO"<<endl;
}