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