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