#include <bits/stdc++.h>
using namespace std;
int a[3];
inline void Solve() {
  sort(a, a + 3);
  if (a[0] == 1 || a[1] <= 2 || (a[0] == 3 && a[2] == 3) ||
      (a[0] == 2 && a[1] == 4 && a[2] == 4))
    puts("YES");
  else
    puts("NO");
}
int main() {
  while (~scanf("%d%d%d", a, a + 1, a + 2)) Solve();
  return 0;
}
