#include <bits/stdc++.h>
using namespace std;
const int Z = (int)3e3 + 111;
const int N = (int)3e5 + 111;
const int INF = (int)1e9 + 111;
const int MOD = (int)1e9 + 7;
int a[1555];
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  bool f = false;
  for (int i = 0; i < 3; i++) {
    int x;
    cin >> x;
    a[x]++;
  }
  if (a[2] > 1 || a[1] || a[3] == 3 || (a[4] == 2 && a[2] == 1))
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
