#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i,n) for(int i=0;i<(n);i++)

bool solve(ll a, ll b, ll c){
    if((a%6)*(b%6)*(c%6)%6!=0) return false;
    
    vector<ll> p = {a, b, c};
    sort(p.begin(), p.end());
    do{
        if(p[0]%2==0 && p[1]%3==0) return true;
    }while(next_permutation(p.begin(), p.end()));

    // ちょうど 1 つが 6 の倍数、他は 6 と互いに素
    // 6 の倍数以外に 5 以上のものがあればよい
    rep(i,3) if(5<=p[i] && p[i]%6) return true;
    return false;
}

int main(){
    ll a, b, c;
    cin >> a >> b >> c;
    cout << (solve(a, b, c)? "Yes" : "No") << endl;
}