#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(0);
  int a, b, c;
  cin >> a >> b >> c;
  if (a == 1 || b == 1 || c == 1) {
    cout << "YES";
  } else {
    if (a > b) swap(a, b);
    if (a > c) swap(a, c);
    if (b > c) swap(b, c);
    if (a == 2 && b == 2)
      cout << "YES";
    else {
      if (a == 2 && b == 4 && c == 4)
        cout << "YES";
      else {
        if (a == 3 && b == 3 && c == 3)
          cout << "YES";
        else
          cout << "NO";
      }
    }
  }
  return 0;
}
