#include <bits/stdc++.h>
using namespace std;
const int N = 2000;
int a, b, c, l;
bool vis[1000005];
int main() {
  cin >> a >> b >> c;
  memset(vis, 0, sizeof(vis));
  if (a > b) swap(a, b);
  if (b > c) swap(b, c);
  if (a > b) swap(a, b);
  vis[1] = 1;
  vis[2] = 1;
  vis[3] = 1;
  l = 1 + 2 * c;
  for (int i = 1; i <= N; i++) {
    int w = 1 + i * c;
    if (w > l) break;
    vis[w] = 1;
  }
  for (int i = 1; i <= N; i++) {
    int w = 2 + i * a;
    if (w > l) break;
    vis[w] = 1;
  }
  for (int i = 1; i <= N; i++) {
    int w = 3 + i * b;
    if (w > l) break;
    vis[w] = 1;
  }
  for (int i = 1; i <= l; i++)
    if (!vis[i]) {
      cout << "NO";
      return 0;
    }
  cout << "YES";
  return 0;
}
