#include <bits/stdc++.h>
using namespace std;
const int mod = 1e9 + 7;
const int maxn = 100000 + 10;
int main() {
  int a[5];
  int two = 0, three = 0, four = 0, fif = 0, one = 0;
  for (int i = 1; i <= 3; i++) {
    scanf("%d", &a[i]);
    if (a[i] == 2) two++;
    if (a[i] == 3) three++;
    if (a[i] == 4) four++;
    if (a[i] == 1) one++;
  }
  if (two >= 2 || one >= 1) {
    return 0 * puts("YES");
  }
  if (two && four == 2) {
    return 0 * puts("YES");
  }
  if (three == 3) {
    return 0 * puts("YES");
  }
  return 0 * puts("NO");
}
