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