#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  long long int t, m, n, i, j, ans, k, q, max, count, sum, a, b, c, l, r;
  cin >> a >> b >> c;
  int ar[1501] = {0};
  ar[a]++;
  ar[b]++;
  ar[c]++;
  if (ar[3] == 3)
    cout << "YES" << endl;
  else if (ar[1] >= 1)
    cout << "YES" << endl;
  else if (ar[2] >= 2)
    cout << "YES" << endl;
  else if (ar[4] == 2 && ar[2] == 1)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
