#include <bits/stdc++.h>
using namespace std;
const int N = 2e5 + 100, M = 52 + 10, LG = 30, base = 2;
const int MOD = 1e9 + 7, mod = 1e9 + 9;
const long long INF = 1e9, inf = 1e18;
long long a[3], m;
long double x;
bool b[N];
int main() {
  ios_base::sync_with_stdio(false), cin.tie(0), cout.tie(0);
  ;
  cin >> a[0] >> a[1] >> a[2];
  x = 1.0 / a[0] + 1.0 / a[1] + 1.0 / a[2];
  if (x < 1) return cout << "NO", 0;
  sort(a, a + 3);
  if (a[0] == 1) return cout << "YES", 0;
  for (int i = 0; i < N; i++) {
    if (!b[i]) {
      for (int j = i; j < N; j += a[m]) b[j] = 1;
      m++;
      if (m == 3) break;
    }
  }
  for (int i = 0; i < N; i++)
    if (!b[i]) return cout << "NO", 0;
  return cout << "YES", 0;
}
