#include <bits/stdc++.h>
using namespace std;
long long int solve(long long int a, long long int b, long long int c) {
  set<long long int> st;
  for (long long int i = 1; i <= 1000000; i += a) st.insert(i);
  for (long long int i = 2; i <= 1000000; i += b) st.insert(i);
  for (long long int i = 3; i <= 1000000; i += c) st.insert(i);
  if (st.size() == 1000000)
    return 1;
  else
    return 0;
}
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long int k[3];
  for (long long int i = 0; i < 3; i++) cin >> k[i];
  sort(k, k + 3);
  long long int a = k[0], b = k[1], c = k[2];
  if (solve(a, b, c) || solve(a, c, b) || solve(b, a, c) || solve(b, c, a) ||
      solve(c, a, b) || solve(c, b, a)) {
    cout << "YES";
  } else {
    cout << "NO";
  }
  return 0;
}
