#include <bits/stdc++.h>
using namespace std;
int main() {
  int k1, k2, k3;
  cin >> k1 >> k2 >> k3;
  int a1 = 0, a2 = 0, a3 = 0, a4 = 0;
  if (k1 == 1) a1++;
  if (k1 == 2) a2++;
  if (k1 == 3) a3++;
  if (k1 == 4) a4++;
  if (k2 == 1) a1++;
  if (k2 == 2) a2++;
  if (k2 == 3) a3++;
  if (k2 == 4) a4++;
  if (k3 == 1) a1++;
  if (k3 == 2) a2++;
  if (k3 == 3) a3++;
  if (k3 == 4) a4++;
  if (a1 >= 1 || a2 >= 2 || a3 == 3 || (a2 == 1 && a4 == 2))
    cout << "YES\n";
  else
    cout << "NO\n";
  return 0;
}
