#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
int INF = 1e9;
int MOD = 1e9+7;
main(){
    int num[7];
    for(int i = 0;i < 7;i++)cin >> num[i];
    sort(num,num+7);
    for(int i = 0;i < 5040;i++){
        for(int j = 0;j <= 4;j++){
            if(num[j] == num[j+1] || num[j+1] == num[j+2] || num[j+2] == num[j])break;
            if(num[j] > num[j+2])break;
            if(!((num[j+1] > num[j] && num[j+1] > num[j+2])||
                (num[j+1] < num[j] && num[j+1] < num[j+2])))break;
            if(j == 4){
                cout << "YES" << endl;
                return 0;
            }
        }
        next_permutation(num,num+7);
    }
    cout << "NO" << endl;
}