#include <bits/stdc++.h>
using namespace std;
int a, b, c, x, y, z;
int ok;
int main() {
  cin >> a >> b >> c;
  x = min(a, min(b, c));
  z = max(a, max(b, c));
  y = a + b + c - x - z;
  ok = 0;
  if (x == 1) ok = 1;
  if (x == 2 && y == 2) ok = 1;
  if (x == 2 && y == 4 && z == 4) ok = 1;
  if (x == 3 && y == 3 && z == 3) ok = 1;
  if (ok)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
