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

int main() {
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);
    vector<ll> a(3);
    rep(i, 3) cin >> a[i];
    vector<int> p{1, 2, 3};
    bool ok = false;
    do {
        if (a[0] % p[0] == 0 && a[1] % p[1] == 0 && a[2] % p[2] == 0)
            ok = true;
    } while (next_permutation(p.begin(), p.end()));
    cout << (ok ? "Yes" : "No") << endl;
    return 0;
}