#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
    int d[7];
    for (int i=0;i<7;i++)
        cin>>d[i];
    sort(d,d+7);
    do {
        int f=1;
        for (int i=0;i+2<7;i++) {
            if (!((d[0]<d[1]&&d[2]<d[1]||d[1]<d[0]&&d[1]<d[2])&&d[0]<d[2])) {
                f=0;
                break;
            }
        }
        if (f) {
            puts("YES");
            return 0;
        }
    } while (next_permutation(d,d+7));
    puts("NO");
    return 0;
}