#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  cin >> a >> b >> c;
  if (a > b) swap(a, b);
  if (a > c) swap(a, c);
  if (b > c) swap(b, c);
  for (int j = 1; j < 1 + b; ++j)
    for (int k = 0; k < 1 + c; ++k) {
      int i;
      for (i = 0; i < c + 8 * a && (!(i % a) || (i % b == j) || (i % c == k));
           ++i)
        ;
      if (i == c + 8 * a) {
        cout << "YES\n";
        return 0;
      }
    }
  cout << "NO\n";
  return 0;
}
