#include <bits/stdc++.h>
using namespace std;
long long mul(long long a, long long b) { return (a * b) % 1000000007; }
long long add(long long a, long long b) {
  a += b;
  if (a >= 1000000007) a -= 1000000007;
  return a;
}
long long binary_expo(long long base, long long expo) {
  long long res = 1;
  while (expo) {
    if (expo % 2) {
      res = mul(res, base);
    }
    expo /= 2;
    base = mul(base, base);
  }
  return res;
}
void solve() {
  long long k1, k2, k3;
  cin >> k1 >> k2 >> k3;
  long long maxi = max({k1, k2, k3});
  if (k1 == 1 || k2 == 1 || k3 == 1) {
    cout << "YES" << '\n';
    return;
  }
  if ((k1 == 2 and k2 == 2) or (k3 == 2 and k1 == 2) or (k2 == 2 and k3 == 2)) {
    cout << "YES" << '\n';
    return;
  }
  if (k1 == 3 and k2 == 3 and k3 == 3) {
    cout << "YES" << '\n';
    return;
  }
  if ((k1 == 2 and k2 == 4 and k3 == 4) or (k1 == 4 and k2 == 2 and k3 == 4) or
      (k1 == 4 and k2 == 4 and k3 == 2)) {
    cout << "YES" << '\n';
    return;
  } else {
    cout << "NO" << '\n';
  }
}
signed main() {
  long long t;
  ios_base::sync_with_stdio(false);
  t = 1;
  while (t--) {
    solve();
  }
}
