#include <bits/stdc++.h>
long long int const M = 3000;
using namespace std;
bool lit[M + 1];
long long int ctr = 0;
int main() {
  long long int k[3];
  long long int st[3];
  st[0] = 1;
  cin >> k[0] >> k[1] >> k[2];
  sort(k, k + 3);
  if (k[0] == 1) {
    cout << "YES";
    return 0;
  }
  if (k[0] == 2) {
    for (st[1] = 1; st[1] <= 4; st[1]++) {
      for (st[2] = 1; st[2] <= 4; st[2]++) {
        memset(lit, 0, sizeof(lit));
        ctr = 0;
        for (long long int i = 0; i <= 2; i++)
          for (long long int j = 0; j * k[i] + st[i] <= M; j++) {
            if (lit[j * k[i] + st[i]] == false) {
              lit[j * k[i] + st[i]] = true;
              ctr++;
            }
          }
        if (ctr == M) {
          cout << "YES";
          return 0;
        }
      }
    }
  }
  if (k[0] == 3 && k[1] == 3 && k[2] == 3) {
    cout << "YES";
    return 0;
  }
  cout << "NO";
}
