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