#include <bits/stdc++.h>
using namespace std;
const int N = 2000;
const int INF = 2e9;
const int mod = 1e9 + 7;
int ans, a;
int h[N];
int main() {
  for (int i = 0; i < 3; ++i) {
    scanf("%d", &a);
    ++h[a];
  }
  if (h[1] || h[2] > 1 || h[3] > 2 || h[2] == 1 && h[4] == 2)
    return !printf("YES");
  printf("NO");
  return 0;
}
