#include <bits/stdc++.h>
using namespace std;
int k1, k2, k3;
int main() {
  scanf("%d%d%d", &k1, &k2, &k3);
  if (k1 == 1 || k2 == 1 || k3 == 1 || k1 == 2 && k2 == 2 ||
      k1 == 2 && k3 == 2 || k2 == 2 && k3 == 2 ||
      k1 == k2 && k2 == k3 && k3 == 3 || k1 == 2 && k2 == 4 && k3 == 4 ||
      k1 == 4 && k2 == 4 && k3 == 2 || k1 == 4 && k2 == 2 && k3 == 4)
    printf("YES");
  else
    printf("NO");
  return 0;
}
