#include <algorithm>
#include <cstdio>
#include <iostream>
#include <map>
#include <cmath>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <vector>
#include <stdlib.h>
#include <stdio.h>
#include <bitset>
using namespace std;
#define FOR(I,A,B) for(int I = (A); I < (B); ++I)
typedef long long ll;

// 全探索

bool check(int a, int b, int c){
  if(a < c){
    if(a < b && b > c) return true;
    if(a > b && b < c) return true;
  }
  return false;
}

int main(){
  int D[7];
  FOR(i,0,7) {
    cin >> D[i];
  }
  sort(D, D + 7);
  bool ok = false;
  do {
    FOR(i,0,5) {
      if(check(D[i],D[i+1],D[i+2])) ok = true;
    }
  } while( next_permutation(D, D + 7) );
  cout << (ok ? "YES" : "NO") << endl;
  return 0;
}