#include <bits/stdc++.h>
int a[57];
int main() {
  int n, k1, k2, k3;
  scanf("%d %d %d", &k1, &k2, &k3);
  k1 > 10 ? ++a[10] : ++a[k1];
  k2 > 10 ? ++a[10] : ++a[k2];
  k3 > 10 ? ++a[10] : ++a[k3];
  if (a[1] || a[2] >= 2 || a[3] == 3) {
    puts("YES");
    return 0;
  }
  if (a[2] == 1 && a[4] == 2) {
    puts("YES");
    return 0;
  }
  puts("NO");
  return 0;
}
