#include <bits/stdc++.h>
using namespace std;
int a, b, c, d[2666] = {0};
int main() {
  scanf("%d%d%d", &a, &b, &c);
  d[a]++;
  d[b]++;
  d[c]++;
  if (d[1] || d[2] > 1 || d[3] > 2 || (d[2] && d[4] > 1))
    printf("YES");
  else
    printf("NO");
  return 0;
}
