#include <bits/stdc++.h>
using namespace std;
int vis[2000000];
int check(int a, int b, int c) {
  int Max = max(max(a, b), c);
  int td = Max * 1000;
  memset(vis, 0, sizeof(vis));
  int pos = 0;
  for (int i = 1; i <= td; i += a) vis[i] = 1;
  for (int i = 1; i <= td; i++)
    if (!vis[i]) {
      pos = i;
      break;
    }
  for (int i = pos; i <= td; i += b) vis[i] = 1;
  for (int i = 1; i <= td; i++)
    if (!vis[i]) {
      pos = i;
      break;
    }
  for (int i = pos; i <= td; i += c)
    if (!vis[i]) vis[i] = 1;
  pos = 0;
  for (int i = 1; i <= td; i++) {
    if (!vis[i]) {
      pos = i;
      return 0;
    }
  }
  return 1;
}
int main() {
  int a, b, c;
  scanf("%d%d%d", &a, &b, &c);
  int flag = (check(a, b, c) || check(b, a, c) || check(b, c, a) ||
              check(a, c, b) || check(c, b, a) || check(c, a, b));
  if (flag)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
