#include <bits/stdc++.h>
using namespace std;
void file() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
}
int main() {
  file();
  int ar[3];
  cin >> ar[0] >> ar[1] >> ar[2];
  sort(ar, ar + 3);
  if (ar[0] == 3 && ar[2] == 3)
    cout << "YES" << endl;
  else if (ar[1] == 2)
    cout << "YES" << endl;
  else if (ar[1] == 4 && ar[2] == 4 && ar[0] <= 2)
    cout << "YES" << endl;
  else if (ar[0] == 1)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
}
