#include <bits/stdc++.h>
using namespace std;
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  int a, b, c;
  cin >> a >> b >> c;
  if (min(min(a, b), c) > 3) {
    cout << "NO" << endl;
  } else {
    if ((a == 3 && b == 3 && c == 3) || (a == 1) || (b == 1) || (c == 1) ||
        (a == 2 && b == 2) || (a == 2 && c == 2) || (c == 2 && b == 2) ||
        (a == 2 && b == 4 && c == 4) || (a == 4 && b == 2 && c == 4) ||
        (a == 4 && b == 4 && c == 2)) {
      cout << "YES" << endl;
    } else {
      cout << "NO" << endl;
    }
  }
  return 0;
}
