#include <bits/stdc++.h>
using namespace std;
long long x, b[3000], i;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  for (i = 1; i < 4; i++) {
    cin >> x;
    b[x]++;
  }
  if (b[1]) return cout << "YES", 0;
  if (b[2] > 1) return cout << "YES", 0;
  if (b[3] > 2) return cout << "YES", 0;
  if (b[2] == 1 && b[4] == 2) return cout << "YES", 0;
  return cout << "NO", 0;
  return 0;
}
