#include <bits/stdc++.h>
using namespace std;
const int MaxN = 1e5;
int main() {
  int a[5], b[5], s[5], vis;
  while (~scanf("%d %d %d", &a[1], &a[2], &a[3])) {
    sort(a + 1, a + 4);
    vis = 0;
    s[1] = 1;
    s[2] = 0;
    s[3] = 0;
    b[1] = 1;
    for (int i = 2; i <= MaxN; i++) {
      if ((i - b[1]) % a[1] != 0 && s[2] == 0) {
        s[2] = 1;
        b[2] = i;
      }
      if (s[2] == 1 && (i - b[1]) % a[1] != 0 && (i - b[2]) % a[2] != 0 &&
          s[3] == 0) {
        s[3] = 1;
        b[3] = i;
      }
      if (s[3] == 1 && (i - b[1]) % a[1] != 0 && (i - b[2]) % a[2] != 0 &&
          (i - b[3]) % a[3] != 0) {
        vis = 1;
        break;
      }
    }
    if (vis == 1)
      printf("NO\n");
    else
      printf("YES\n");
  }
  return 0;
}
