#include <bits/stdc++.h>
using namespace std;
int main() {
  int k1, k2, k3, ans = 0, san = 0;
  cin >> k1 >> k2 >> k3;
  if (k1 == 2) ans++;
  if (k2 == 2) ans++;
  if (k3 == 2) ans++;
  if (k1 == 4) san++;
  if (k2 == 4) san++;
  if (k3 == 4) san++;
  if (ans > 1 || (k1 == 3 && k2 == 3 && k3 == 3) || k1 == 1 || k2 == 1 ||
      k3 == 1 || (ans == 1 && san == 2)) {
    cout << "YES\n";
  } else {
    cout << "NO\n";
  }
}
