#include <bits/stdc++.h>
// #include <atcoder/all> // NOTE: AtCoderライブラリ
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;
// using namespace atcoder; // NOTE: AtCoderライブラリ
typedef long long ll;
typedef long double ld;
typedef vector<int> vi;
typedef vector<long long> vl;
typedef vector<bool> vb;
typedef vector<char> vc;
typedef pair<int, int> pii;
// #define INF __INT32_MAX__
// #define INF 1e9
// #define LINF __LONG_LONG_MAX__

int main() {
    int N, H; cin >> N >> H;
    vector<int> A(N); rep(i, N) cin >> A[i];
    
    rep(i, N) {
        if (H == 1) break;
        if (A[i] > H) continue;
        if (H % A[i] != 0) continue;

        H /= A[i];
    }

    if (H == 1) {
        cout << "YES" << endl;
    } else {
        cout << "NO" << endl;
    }
}