#include <iostream>
#include <vector>

using namespace std;

int main() {
    long long a, b, c;
    cin >> a >> b >> c;
    
    const vector<vector<int>> cube123 = {{1, 2, 3}, {1, 3, 2}, {2, 1, 3}, {2, 3, 1}, {3, 1, 2}, {3, 2, 1}};
    for (const vector<int> &v : cube123) {
        if (a % v[0] == 0 && b % v[1] == 0 && c % v[2] == 0) {
            cout << "Yes" << endl;
            return 0;
        }
    }

    cout << "No" << endl;
}