#include <bits/stdc++.h>
using namespace std;
#define FOR(i, n) for(int i = 0; i < (n); i++)
#define FORR(x, arr) for(auto& x:arr)
#define ITR(x, c) for(__typeof(c.begin()) x=c.begin();x!=c.end();x++)
#define MEM(a, x) memset(a, x, sizeof(a))
#define ALL(a) a.begin(), a.end()
#define UNIQUE(a) a.erase(unique(ALL(a)), a.end())
typedef long long ll;
typedef pair<int, int> P;

int main(int argc, char const *argv[]) {
	ios_base::sync_with_stdio(false);
	vector<int> v(7);
	FOR(i, 7) cin >> v[i];
	sort(ALL(v));
	bool flag = false;
	do {
		bool ok = true;
		FOR(i, 5) {
			if (v[i] < v[i+2] && v[i+1]>v[i] && v[i+1]>v[i+2]) continue;
			if (v[i] < v[i+2] && v[i+1]<v[i] && v[i+1]<v[i+2]) continue;
			ok = false;
		}
		if (ok) flag = true;
	} while (next_permutation(ALL(v)));
	cout << (flag ? "YES" : "NO") << endl;
	return 0;
}