#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);
  do {
    bool ok = true;
    FOR(i,0,5) {
      if(!check(D[i],D[i+1],D[i+2])) ok = false;
    }
    if(ok) {
      cout << "YES" << endl;
      return 0;
    }
  } while( next_permutation(D, D + 7) );
  cout << "NO" << endl;
  return 0;
}