#include <iostream>
#include <string>
#include <vector>
#include <cstdio>
#include <algorithm>
using namespace std;
#define rep(i,n) for(int i=0;i<(n);i++)


int main(void){
	vector<int> v(7);
	rep(i, 7) cin >> v[i];
	sort(v.begin(), v.end());
	do{
		for (int i = 0; i < 5; ++i){
			if(v[i] < v[i + 2] && v[i] != v[i + 1] && v[i + 1] != v[i + 2]){
				if(v[i] > v[i + 1] || v[i + 1] > v[i + 2]){
					if(i == 4){
						printf("YES\n"); return 0;
					}
				}
			}else{
				break;
			}
		}
	}while(next_permutation(v.begin(), v.end()));
	printf("NO\n");
	return 0;
}