#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];
    sort(a.begin(), a.end());
    if (a[0] * a[1] >= 2 && __int128(a[0]) * a[1] * a[2] % 6 == 0) {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }
    return 0;
}