#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;
    
    vector<int> v = {A, B, C}, P = {1, 2, 3};
    do {
    	bool flag = true;
    	rep(i, 3) if(v[i] % P[i]) flag = false;
    	if(flag) {
    		cout << "Yes\n";
    		return 0;
    	}
    } while(next_permutation(P.begin(), P.end()));
    
    cout << "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;
}