#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[i]<d[i+1]&&d[i+2]<d[i+1]||d[i+1]<d[i]&&d[i+1]<d[i+2])&&d[i]<d[i+2])) {
                f=0;
                break;
            }
        }
        if (f) {
            puts("YES");
            return 0;
        }
    } while (next_permutation(d,d+7));
    puts("NO");
    return 0;
}