#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    auto f = [](int a, int b, int c) {
        int ok = 1;
        ok &= a != b && b != c && c != a;
        auto [mi, ma] = minmax({a, b, c});
        ok &= b == ma || b == mi;
        ok &= a < c;
        return ok;
    };

    int D[7];
    rep(i,7) cin >> D[i];
    sort(D, D + 7);
    do {
        int ok = 1;
        rep(i,5) ok &= f(D[i], D[i + 1], D[i + 2]);
        if(ok) {
            cout << "YES" << endl;
            return 0;
        }
    } while(next_permutation(D, D + 7));

    cout << "NO" << endl;
}