#include using namespace std; void dfs(vector> &st, vector &A, long long S = 0, int s = 0, int p = 0){ int N = A.size(); if (p == N){ st[s].insert(S); } else { dfs(st, A, S, s, p + 1); dfs(st, A, S + A[p], s | 1, p + 1); dfs(st, A, S - A[p], s | 2, p + 1); } } int main(){ int N; long long K; cin >> N >> K; vector A(N); for (int i = 0; i < N; i++){ cin >> A[i]; } bool ok = false; for (int i = 0; i < N; i++){ if (A[i] == K){ ok = true; } } if (ok){ cout << "Yes" << endl; } else { int X = N / 2, Y = N - X; vector A1(X); for (int i = 0; i < X; i++){ A1[i] = A[i]; } vector> st1(4); dfs(st1, A1); vector A2(Y); for (int i = 0; i < Y; i++){ A2[i] = A[X + i]; } vector> st2(4); dfs(st2, A2); bool ok2 = false; for (int i = 0; i < 4; i++){ for (int j = 0; j < 4; j++){ if ((i | j) == 3){ for (long long x : st1[i]){ if (st2[j].count(K - x) == 1){ ok2 = true; } } } } } if (ok2){ cout << "Yes" << endl; } else { cout << "No" << endl; } } }