#pragma GCC optimize("Ofast")
#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef unsigned long long ull;

mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
ll myRand(ll B) {
    return (ull)rng() % B;
}

int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int n,K; cin >> n >> K;
    vector<ll> a(n);
    for(int i=0;i<n;i++){
        cin >> a[i];
    }
    vector<ll> sum(1<<n);
    for(int i=0;i<(1<<n);i++){
        for(int j=0;j<n;j++){
            if((1<<j)&i){
                sum[i]+=a[j];
            }
        }
    }
    bool ok=false;
    for(int i=1;i<(1<<n);i++){
        for(int j=i;j>0;j=(j-1)&i){
            if(j==i)continue;
            int bit1=j,bit2=(i^j);
            if(K==sum[bit1]-sum[bit2])ok=true;
        }
    }
    if(ok)printf("Yes\n");
    else printf("No\n");
}