#include<bits/stdc++.h>
using namespace std;
int a,b,suma,sumb;
// 这个函数返回当一个骰子朝上点数为 a 时红色或黑色点数有几个，type = 1 时返回红色点数，type = 2 时返回黑色点数
inline int judge(int a,int type)
{
    // 询问 a 点朝上时红色点数有几个，如果是 1 或 4 则返回相应点数，否则返回 0
    if(type==1)
    {
        if(a==1) return 1;
        if(a==4) return 4;
        return 0;
    }
    // 询问 a 点朝上时黑色点数有几个，如果是 2 或 3 或 5 或 6 则返回相应点数，否则返回 0
    if(a==2) return 2;
    if(a==3) return 3;
    if(a==5) return 5;
    if(a==6) return 6;
    return 0;
}
int main()
{
    cin>>a>>b;
    for(int i=1;i<=6;i++)
    {
        for(int j=1;j<=6;j++)
        {
            for(int k=1;k<=6;k++)
            {
                // 计算当前情况的红色点数和黑色点数
                suma=judge(i,1)+judge(j,1)+judge(k,1),sumb=judge(i,2)+judge(j,2)+judge(k,2);
                // 有情况满足条件
                if(suma==a && sumb==b)
                {
                    cout<<"Yes";
                    return 0;
                }
            }
        }
    }
    // 没有情况满足条件
    cout<<"No";
    return 0;
}