import java.util.Arrays;
import java.util.Scanner;
public class Main{
	public static void main(String[] args)throws Exception{
		new Main().solve();
	}
	void solve(){
		Scanner sc=new Scanner(System.in);
		int[] d=new int[7];
		for(int i=0;i<7;i++){
			d[i]=sc.nextInt();
		}
		Arrays.sort(d);
		for(int i=0;i<7;i++){
			for(int j=0;j<7;j++){
				if(i==j)continue;
				for(int k=0;k<7;k++){
					if(k==i||k==j)continue;
					for(int l=0;l<7;l++){
						if(l==i||l==j||l==k)continue;
						for(int m=0;m<7;m++){
							if(m==i||m==j||m==k||m==l)continue;
							for(int n=0;n<7;n++){
								if(n==i||n==j||n==k||n==l||n==m)continue;
								for(int o=0;o<7;o++){
									if(o==i||o==j||o==k||o==l||o==m||o==n)continue;
									if(d[i]>d[j]&&d[j]<d[k]&&d[k]>d[l]&&d[l]<d[m]&&d[m]>d[n]&&d[n]<d[o]&&d[i]<d[k]&&d[j]<d[l]&&d[k]<d[m]&&d[l]<d[n]&&d[m]<d[o]){
										if(d[i]!=d[j]&&d[i]!=d[k]&&
												d[j]!=d[k]&&d[j]!=d[l]&&
												d[k]!=d[l]&&d[k]!=d[m]&&
												d[l]!=d[m]&&d[l]!=d[n]&&
												d[m]!=d[n]&&d[m]!=d[o]&&
												d[n]!=d[o]){
											System.out.println("YES");
//											System.out.println(d[i]+" "+d[j]+" "+d[k]+" "+d[l]+" "+d[m]+" "+d[n]+" "+d[o]);
											return;
										}
									}
									if(d[i]<d[j]&&d[j]>d[k]&&d[k]<d[l]&&d[l]>d[m]&&d[m]<d[n]&&d[n]>d[o]&&d[i]<d[k]&&d[j]<d[l]&&d[k]<d[m]&&d[l]<d[n]&&d[m]<d[o]){
										if(d[i]!=d[j]&&d[i]!=d[k]&&
												d[j]!=d[k]&&d[j]!=d[l]&&
												d[k]!=d[l]&&d[k]!=d[m]&&
												d[l]!=d[m]&&d[l]!=d[n]&&
												d[m]!=d[n]&&d[m]!=d[o]&&
												d[n]!=d[o]){
											System.out.println("YES");

//											System.out.println(d[i]+" "+d[j]+" "+d[k]+" "+d[l]+" "+d[m]+" "+d[n]+" "+d[o]);
											return;
										}
									}
								}
							}
						}
					}
				}
			}
		}
		System.out.println("NO");
	}
		void tr(Object...o){System.out.println(Arrays.deepToString(o));}
	}