#include<iostream>
#include<vector>
#include<algorithm>

bool isKadomatsu(int a, int b, int c) {
	if (a == b || a == c || b == c) return false;
	if (std::min(a, std::min(b, c)) == b) return true;
	if (std::max(a, std::max(b, c)) == b) return true;
	return false;
}

int main() {
	std::vector<int> v(7);

	for (int i = 0; i < 7; i++) {
		std::cin >> v[i];
	}

	std::sort(v.begin(), v.end());

	do {
		int i;
		for (i = 0; i < 5; i++) {
			if (!isKadomatsu(v[i], v[i + 1], v[i + 2])) break;
			if (v[i] >= v[i + 2]) break;
		}
		if (i == 5) {
			std::cout << "YES" << std::endl;
			return 0;
		}
	} while (std::next_permutation(v.begin(), v.end()));

	std::cout << "NO" << std::endl;
	return 0;
}