#include <bits/stdc++.h>
using namespace std;
signed main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  long long k, tend, x1, x2;
  vector<long long> v;
  bool ok;
  for (long long i = 0; i < (3); i++) cin >> k, v.push_back(k);
  sort(v.rbegin(), v.rend());
  tend = v[0];
  ok = true;
  x1 = x2 = -1;
  for (long long i = (1); i < (2 * tend); i++) {
    if (i % v[0] == 0) continue;
    if (x1 == -1) {
      x1 = i;
      continue;
    } else if ((i - x1) % v[1] == 0)
      continue;
    if (x2 == -1) {
      x2 = i;
      continue;
    } else if ((i - x2) % v[2] == 0)
      continue;
    ok = false;
    break;
  }
  if (ok) {
    cout << "YES" << endl;
    return 0;
  }
  ok = true;
  x1 = x2 = -1;
  for (long long i = (1); i < (2 * tend); i++) {
    if (i % v[0] == 0) continue;
    if (x2 == -1) {
      x2 = i;
      continue;
    } else if ((i - x2) % v[2] == 0)
      continue;
    if (x1 == -1) {
      x1 = i;
      continue;
    } else if ((i - x1) % v[1] == 0)
      continue;
    ok = false;
    break;
  }
  if (ok) {
    cout << "YES" << endl;
    return 0;
  }
  cout << "NO" << endl;
}
