#include <stdio.h>
#include <string.h>
#include <math.h>

int numlist(long long a[], long long len) {
    len = strlen(a);
    for (int i = 0; i < len; i++) {
        scanf("%d", a);
    }
    return a;
}

long long add(long long x[], long long y[][]) {
    for (int j = 0; j < strlen(x) - 1; j++) {
        for (int i = j; i < strlen(x); i++) {
            y[j][i] = x[j] + x[i];
        }
    }
    return y;
}

int main() {
    long long n, K;
    int u = 0;
    scanf("%lld %lld", n, K);
    long long p[500000];
    long long q[500000][500000];
    numlist(p, n);
    add(p[500000], q[500000][500000]);
    for (int j = 0; j < strlen(p); j++) {
        for (int i = 0; i < strlen(p); i++) {
            if (q[j][i] == K) {
                u++;
                break;
            }
        }
    }
    if (u != 0)
        printf("Yes");
    else
        printf("No");
    return 0;
}

/sandbox/1/a.c:7:15: warning: incompatible pointer types passing 'long long *' to parameter of type 'const char *' [-Wincompatible-pointer-types]
        len = strlen(a);
                     ^
/usr/include/string.h:384:35: note: passing argument to parameter '__s' here
extern size_t strlen (const char *__s)
                                  ^
/sandbox/1/a.c:10:15: warning: format specifies type 'int *' but the argument has type 'long long *' [-Wformat]
                scanf("%d", a);
                       ~~   ^
                       %lld
/sandbox/1/a.c:12:9: warning: incompatible pointer to integer conversion returning 'long long *' from a function with result type 'int' [-Wint-conversion]
        return a;
               ^
/sandbox/1/a.c:15:41: error: array has incomplete element type 'long long []'
long long add(long long x[], long long y[][])
                                        ^
/sandbox/1/a.c:17:29: warning: incompatible pointer types passing 'long long *' to parameter of type 'const char *' [-Wincompatible-pointer-types]
        for (int j = 0; j < strlen(x) - 1; j++)
                                   ^
/usr/include/string.h:384:35: note: passing argument to parameter '__s' here
extern size_t strlen (const char *__s)
                                  ^
/sandbox/1/a.c:19:30: warning: incompatible pointer types passing 'long long *' to parameter of type 'const char *' [-Wincompatible-pointer-types]
                for (int i = j; i < strlen(x); i++)
                                           ^
/usr/include/string.h:384:35: note: passing argument to parameter '__s' here
extern size_t strlen (const char *__s)
                                  ^
/sandbox/1/a.c:32:21: warning: format specifies type 'long long *' but the argument has type 'long long' [-Wformat]
        scanf("%lld %lld", n, K);
               ~~~~        ^
/sandbox/1/a.c:32:24: warning: format specifies type 'long long *' but the argument has type 'long long' [-Wformat]
        scanf("%lld %lld", n, K);
                    ~~~~      ^
/sandbox/1/a.c:34:14: error: array is too large (500000 elements)
        long long q[500000][500000];
                    ^~~~~~
/sandbox/1/a.c:37:29: warning: incompatible pointer types passing 'long long [500000]' to parameter of type 'const char *' [-Wincompatible-pointer-types]
        for (int j = 0; j < strlen(p) ; j++)
                                   ^
/usr/include/string.h:384:35: note: passing argument to parameter '__s' here
extern size_t strlen (const char *__s)
                                  ^
/sandbox/1/a.c:39:30: warning: incompatible pointer types passing 'long long [500000]' to parameter of type 'const char *' [-Wincompatible-pointer-types]
                for (int i = 0; i < strlen(p); i++)
                                           ^
/usr/include/string.h:384:35: note: passing argument to parameter '__s' here
extern size_t strlen (const char *__s)
                                  ^
9 warnings and 2 errors generated.