#include <bits/stdc++.h>
using namespace std;
long long a[10000009] = {0};
int main() {
  int h[1507] = {};
  long long k1, k2, k3;
  cin >> k1 >> k2 >> k3;
  h[k1]++;
  h[k2]++;
  h[k3]++;
  if (h[1] >= 1 || h[2] > 1) {
    cout << "YES";
    return 0;
  } else if (h[2] == 1 && h[4] > 1) {
    cout << "YES";
    return 0;
  } else if (h[3] == 3) {
    cout << "YES";
    return 0;
  } else {
    cout << "NO";
  }
  return 0;
}
