#include <cstdio>
#include <algorithm>

using namespace std;

int d[7];

int main(void) {
  for (int i = 0; i < 7; i++) {
    scanf("%d", d+i);
  }
  sort(d, d+7);
  bool ok = false;
  do {
    bool o = true;
    for (int i = 1; i < 6; i++) {
      if (!(((d[i-1] < d[i] && d[i] > d[i+1]) ||
           (d[i-1] > d[i] && d[i] < d[i+1])) &&
            d[i-1] < d[i+1])) {
        o = false;
      }
    }
    if (o) ok = true;
  } while(next_permutation(d, d+7));
  puts(ok?"YES":"NO");
  return 0;
}