#include <bits/stdc++.h>
using namespace std;
int a, b, c;
int num[5];
int main() {
  cin >> a >> b >> c;
  if (a <= 4) num[a]++;
  if (b <= 4) num[b]++;
  if (c <= 4) num[c]++;
  if (num[1])
    printf("YES\n");
  else if (num[2] >= 2)
    printf("YES\n");
  else if (num[3] >= 3)
    printf("YES\n");
  else if (num[2] && num[4] >= 2)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}
