#include <bits/stdc++.h>
using namespace std;
int main() {
  int k1, k2, k3, count[6], min_elt = INT_MAX;
  memset(count, 0, sizeof(count));
  scanf("%d%d%d", &k1, &k2, &k3);
  count[k1 >= 5 ? 5 : k1]++;
  count[k2 >= 5 ? 5 : k2]++;
  count[k3 >= 5 ? 5 : k3]++;
  min_elt = min(k3, min(k1, k2));
  if (min_elt >= 4)
    printf("NO\n");
  else if (min_elt == 1)
    printf("YES\n");
  else if (min_elt == 2) {
    if (count[2] >= 2)
      printf("YES\n");
    else if (count[4] == 2)
      printf("YES\n");
    else
      printf("NO\n");
  } else if (count[3] == 3)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}
