#include <bits/stdc++.h>
using namespace std;

#define int long long
#define rep(i, n) for(int i = 0; i < (int)(n); ++i)

int solve(void) {
    int A, B, C;
    cin >> A >> B >> C;
    
    int c2 = 0, c3 = 0, c6 = 0;
    for(auto x : {A, B, C}) {
    	if(x % 2 == 0) c2 += 1;
    	if(x % 3 == 0) c3 += 1;
    	if(x % 6 == 0) c6 += 1;
    }
    
    cout << (c2 >= 1 and c3 >= 1 and c2 + c3 - c6 >= 2 ? "Yes" : "No") << "\n";
    
    return 0;
}

signed main(void) {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);
    
    int Testcases = 1;
    //cin >> Testcases;
    while(Testcases--) solve();
    
    return 0;
}