#include <bits/stdc++.h>
using namespace std;
void FREOPEN() {
  freopen(
      ""
      ".in",
      "r", stdin);
  freopen(
      ""
      ".out",
      "w", stdout);
}
inline double Time() { return (clock() * 1.0) / CLOCKS_PER_SEC; }
const int N = 200500, inf = 1e9 * 2, MOD = (int)1e9 + 7;
char CH[N];
const long long INF = 1e18;
const int dx[] = {1, -1, 0, 0, -1, 1, -1, 1};
const int dy[] = {0, 0, 1, -1, -1, 1, 1, -1};
int k[3];
void yes() {
  cout << "YES";
  exit(0);
}
void no() {
  cout << "NO";
  exit(0);
}
int main() {
  for (int i = 0; i < 3; i++) cin >> k[i];
  sort(k, k + 3);
  if (k[0] == 1) yes();
  if (k[0] >= 4) no();
  if (k[1] > 4) no();
  if (k[0] == k[1] && k[0] == 2) yes();
  if (k[0] == 2 && k[1] == 4 && k[2] == 4) yes();
  if (k[0] == 3 && k[2] == 3) yes();
  no();
  return 0;
}
