#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  scanf("%d%d%d", &a, &b, &c);
  int ok = 0;
  if (a == 1 || b == 1 || c == 1) ok = 1;
  if (a == 3 && b == 3 && c == 3) ok = 1;
  if (a == 2 && b == 2) ok = 1;
  if (b == 2 && c == 2) ok = 1;
  if (a == 2 && c == 2) ok = 1;
  if (a == 2 && b == 4 && c == 4) ok = 1;
  if (a == 4 && b == 2 && c == 4) ok = 1;
  if (a == 4 && b == 4 && c == 2) ok = 1;
  puts(ok ? "YES" : "NO");
  return 0;
}
