#include <bits/stdc++.h>
using namespace std;
int main() {
  long long a, b, c = 0, i, j, t, k, lie, m, n, o, x, y, z, ar[100000] = {0};
  scanf("%lld %lld %lld", &a, &b, &c);
  if (a == 2 && b == 2 || a == 2 && c == 2 || c == 2 && b == 2)
    cout << "YES"
         << "\n";
  else if (a == 3 && b == 3 && c == 3)
    cout << "YES"
         << "\n";
  else if (a == 1 || b == 1 || c == 1)
    cout << "YES"
         << "\n";
  else if (min(a, min(b, c)) == 2 && max(a, max(b, c)) == 4 &&
           ((a + b + c) - (min(a, min(b, c)) + max(a, max(b, c))) == 4))
    cout << "YES"
         << "\n";
  else
    cout << "NO"
         << "\n";
  return 0;
}
