#include <bits/stdc++.h>
using namespace std;
int main() {
  int a[3];
  int cnt[5] = {0};
  for (int i = 0; i < 3; i++) {
    cin >> a[i];
  }
  for (int i = 0; i < 3; i++) {
    if (a[i] == 1)
      cnt[1]++;
    else if (a[i] == 2)
      cnt[2]++;
    else if (a[i] == 3)
      cnt[3]++;
    else if (a[i] == 4)
      cnt[4]++;
  }
  if (cnt[1] >= 1 || cnt[2] >= 2 || cnt[3] >= 3)
    cout << "YES";
  else if (cnt[2] == 1 && cnt[4] == 2) {
    cout << "YES";
  } else {
    cout << "NO";
  }
  return 0;
}
