double a[7];
ll t;

void f(ll n){
	if(n==1){
		if(a[0]==t){
			wt("YES");
			exit(0);
		}
		return;
	}
	rep(i,n){
		double x=a[i];
		a[i]=a[n-1];
		f(n-1);
		rep(j,i){
			double y=a[j];
			a[j]=x+y;
			f(n-1);
			a[j]=abs(x-y);
			f(n-1);
			a[j]=x*y;
			f(n-1);
			a[j]=x/y;
			f(n-1);
			a[j]=y/x;
			f(n-1);
			a[j]=y;
		}
		a[i]=x;
	}
}

{
	ll@n;
	rep(i,n){
		rd(t);
		a[i]=t;
		if(i>=2){
			f(i);
		}
	}
	wt("NO");
}