#include <bits/stdc++.h>

using i64 = long long;
using u64 = unsigned long long;
using u32 = unsigned;

using u128 = unsigned __int128;
using i128 = __int128;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    int A, B, C;
    std::cin >> A >> B >> C;

    std::vector<int> d = {1, 2, 3};
    do {
        if (A % d[0] == 0 && B % d[1] == 0 && C % d[2] == 0) {
            std::cout << "Yes";
            return 0;
        }
    } while(std::next_permutation(d.begin(), d.end())); 

    std::cout << "No";

    return 0;
}