#include <bits/stdc++.h>
using namespace std;
#pragma GCC optimize("O3")
const long long MOD = 1e9 + 7;
long long n_bits(long long n) {
  long long x = __builtin_popcount(n);
  return x;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  long long t = 1;
  while (t--) {
    int k1, k2, k3;
    cin >> k1 >> k2 >> k3;
    if (k1 == 1 || k2 == 1 || k3 == 1) return cout << "YES", 0;
    if (k1 == 2 && k2 == 2 || k1 == 2 && k3 == 2 || k2 == 2 && k3 == 2)
      return cout << "YES", 0;
    map<int, int> m;
    m[k1]++;
    m[k2]++;
    m[k3]++;
    if (m[3] == 3 || (m[2] == 1 && m[4] == 2)) return cout << "YES", 0;
    cout << "NO";
  }
  return 0;
}
