#include <bits/stdc++.h>
using namespace std;
const int MAX = 1e5 + 10;
int main() {
  int a, b, c;
  while (cin >> a >> b >> c) {
    int s[MAX] = {0};
    s[a]++;
    s[b]++;
    s[c]++;
    if (s[1] >= 1 || s[2] >= 2 || s[3] >= 3 || (s[2] == 1 && s[4] == 2))
      printf("YES\n");
    else
      printf("NO\n");
  }
  return 0;
}
