#include <bits/stdc++.h>
template <class T>
inline bool cmax(T& a, const T& b) {
  return a < b ? a = b, 1 : 0;
}
template <class T>
inline bool cmin(T& a, const T& b) {
  return a > b ? a = b, 1 : 0;
}
using namespace std;
const int N = 1505;
int a, b, c, cnt[N];
inline void Solve() {
  ++cnt[a], ++cnt[b], ++cnt[c];
  cnt[2] += cnt[4] / 2;
  for (int i = 1, iend = (3) + 1; i < iend; ++i)
    if (cnt[i] >= i) return (void)puts("YES");
  puts("NO");
}
int main() {
  while (~scanf("%d%d%d", &a, &b, &c)) Solve();
  return 0;
}
