#include <bits/stdc++.h>
using namespace std;
using i64 = int64_t;
using vi = vector<i64>;
using vvi = vector<vi>;

bool is_kadomatsu(vi as) {
    if (as[0] == as[1] || as[1] == as[2] || as[0] == as[2]) return false;
    return as[1] > max(as[0], as[2]) || as[1] < min(as[0], as[2]);
}

void printvec(vi& x, int size = 0) {
    cout << x.front();
    for (int i = 1; i < (size == 0 ? x.size() : size); i++) {
        cout << " " << x[i];
    }
    cout << endl;
}

int main() {
    vi as(7);
    for (int i = 0; i < 7; i++) {
        cin >> as[i];
    }
    sort(as.begin(), as.end());
    do {
        int ok = 1;
        for (int i = 0; i < 5; i++) {
            if (!is_kadomatsu({as[i], as[i + 1], as[i + 2]}) || as[i] >= as[i + 2]) {
                ok = 0;
            }
        }
        if (ok) {
            cout << "YES" << endl;
            // printvec(as);
            return 0;
        }
    } while (next_permutation(as.begin(), as.end()));

    cout << "NO" << endl;
}