#include <bits/stdc++.h>
using namespace std;
int main() {
  int k[3];
  while (cin >> k[0] >> k[1] >> k[2]) {
    bool flag = false;
    int one = 0, two = 0, three = 0, four = 0;
    for (int i = 0; i < 3; i++) {
      if (k[i] == 1) one++;
      if (k[i] == 2) two++;
      if (k[i] == 3) three++;
      if (k[i] == 4) four++;
    }
    if (one >= 1 || two >= 2 || three == 3 || two == 1 && four == 2)
      flag = true;
    if (flag)
      cout << "YES" << endl;
    else
      cout << "NO" << endl;
  }
  return 0;
}
