#include <algorithm>
#include <iostream>
#include <vector>
using namespace std;

int main() {
	vector<int> D(7);
	for (int& i : D) cin >> i;
	sort(D.begin(), D.end());
	bool a = false;
	do {
		bool b = true;
		for (int i = 0; i < 5; i++) {
			if (D[i] < D[i + 1] && D[i] < D[i + 2] && D[i + 2] < D[i + 1] || D[i] < D[i + 2] && D[i + 1] < D[i] && D[i + 1] < D[i + 2]) continue;
			b = false;
			break;
		}
		if (b) {
			a = true;
			break;
		}
	} while (next_permutation(D.begin(), D.end()));
	if (a) cout << "YES";
	else cout << "NO";
}