#include <stdio.h>

//Conjunto das partes => recursivo

int A[] = {7,1,1,1,1,1,1,7};

int gerar(int i, int n, int s, int obj)
{
	if(s == obj) return 1;
	if(s > obj) return 0;
	if(i == n) return 0;
	if(gerar(i+1,n,s,obj)) return 1;
	if(gerar(i+1,n,s+A[i],obj)) return 1;
	return 0;
}

int main()
{
	int i,n = 8, s=0;
	for(i=0;i<n; i++) s += A[i];
	if(s & 1) printf("no\n");
	else if(gerar(0,n,0,s/2)) printf("yes\n");
	else printf("no\n");
	return 0;
}