#include <bits/stdc++.h>
using namespace std;
int main() {
  vector<int> v(3);
  cin >> v[0] >> v[1] >> v[2];
  sort(v.begin(), v.end());
  if (v[0] == 1 || (v[1] == 2) || (v[0] == 2 && v[1] == 4 && v[2] == 4) ||
      (v[0] == 3 && v[2] == 3))
    cout << "YES"
         << "\n";
  else
    cout << "NO"
         << "\n";
  return 0;
}
