#include <bits/stdc++.h>
using namespace std;
int a, b, c, k, k1;
int mx = (int)1e9 * -1;
int main() {
  cin >> a >> b >> c;
  if (a == 4) k++;
  if (b == 4) k++;
  if (c == 4) k++;
  if (a == 2) k1++;
  if (b == 2) k1++;
  if (c == 2) k1++;
  if (a == 1 || b == 1 || c == 1)
    cout << "YES";
  else if (min(a, min(c, b)) == 2 && k == 2)
    cout << "YES";
  else if (a == 3 && b == 3 && c == 3)
    cout << "YES";
  else {
    if (k1 >= 2)
      cout << "YES";
    else
      cout << "NO";
  }
}
