#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001



int main(){
	
	int n,m,l;
	cin>>n>>m>>l;
	vector dp(1005,false);
	dp[l] = true;
	rep(i,n){
		int a;
		cin>>a;
		vector ndp(1005,false);
		rep(j,1005){
			if(dp[j]){
				ndp[j] = true;
				ndp[(j+a)/2] = true;
			}
		}
		swap(dp,ndp);
	}
	if(dp[m])cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
	return 0;
}