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