#include <bits/stdc++.h>
using namespace std;
template <typename T>
inline T max(T a, T b, T c) {
  return max(max(a, b), c);
}
template <typename T>
inline T max(T a, T b, T c, T d) {
  return max(max(a, b), max(c, d));
}
template <typename T>
inline T min(T a, T b, T c) {
  return min(min(a, b), c);
}
template <typename T>
inline T min(T a, T b, T c, T d) {
  return min(min(a, b), min(c, d));
}
long long int power(long long int a, long long int n, long long int m) {
  a = a % m;
  long long int r = 1;
  while (n > 0) {
    if (n % 2 == 1) r = r * a % m;
    a = a * a % m;
    n = n / 2;
  }
  return r;
}
int main() {
  std::ios::sync_with_stdio(false);
  int p1, p2, p3;
  cin >> p1 >> p2 >> p3;
  int arr[6] = {0};
  arr[min(5, p1)]++;
  arr[min(5, p2)]++;
  arr[min(5, p3)]++;
  if (arr[1] >= 1 || arr[2] >= 2 || arr[3] == 3 || (arr[4] == 2 && arr[2] == 1))
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
