#include <bits/stdc++.h>
using namespace std;
const int searchConst = 10;
bool solve() {
  int k1, k2, k3;
  cin >> k1 >> k2 >> k3;
  for (int x1 = 0; x1 < searchConst; x1++)
    for (int x2 = 0; x2 < searchConst; x2++)
      for (int x3 = 0; x3 < searchConst; x3++) {
        bool flag = true;
        for (int t = 0; t < searchConst; t++)
          if ((t - x1) % k1 != 0 && (t - x2) % k2 != 0 && (t - x3) % k3 != 0)
            flag = false;
        if (flag) return true;
      }
  return false;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.tie(NULL);
  if (solve())
    cout << "YES\n";
  else
    cout << "NO\n";
  return 0;
}
