#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int k1, k2, k3;
  cin >> k1 >> k2 >> k3;
  if (k1 == 1 || k2 == 1 || k3 == 1) {
    cout << "YES" << endl;
    return 0;
  }
  long long int c = 0;
  if (k1 == 2) c++;
  if (k2 == 2) c++;
  if (k3 == 2) c++;
  vector<long long int> arr;
  arr.push_back(k1);
  arr.push_back(k2);
  arr.push_back(k3);
  sort(arr.begin(), arr.end());
  if ((arr[0] == 2 && arr[1] == 4 && arr[2] == 4) ||
      (arr[0] == arr[1] && arr[1] == arr[2] && arr[1] == 3)) {
    cout << "YES";
    cout << endl;
    return 0;
  }
  if (((k1 >= 3) || (k2 >= 3) || (k3 >= 3)) && (c < 2))
    cout << "NO";
  else
    cout << "YES";
  cout << endl;
}
