#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f2f1f0f;
const long long LINF = 1ll * INF * INF;
const double PI = atan(1) * 4;
int S[3];
int A, B, C;
int main() {
  cin >> S[0] >> S[1] >> S[2];
  sort(S, S + 3);
  A = S[0];
  B = S[1];
  C = S[2];
  if (A > 3) {
    cout << "NO" << endl;
    return 0;
  }
  if (A == 1) {
    cout << "YES" << endl;
    return 0;
  }
  if (A == 2) {
    if (B == 2 || (B == 4 && C == 4)) {
      cout << "YES" << endl;
      return 0;
    } else {
      cout << "NO" << endl;
      return 0;
    }
  }
  if (A == 3) {
    if (B == 3 && C == 3) {
      cout << "YES" << endl;
      return 0;
    } else {
      cout << "NO" << endl;
      return 0;
    }
  }
}
