#include <bits/stdc++.h>
using namespace std;
int n, p, a[100010], l = 1, r = 1, ans = 1;
int main() {
    cin >> n >> p;
    for(int i = 1; i <= n; i++) cin >> a[i];
    while(l <= r) {
        ans *= a[r++];
        if(ans == p) {cout << "Yay!" << endl; return 0;} // 岛国题换行是常识
        else if(ans > p) ans /= a[l++];
    }
    cout << ":(" << endl;
    return 0;
}
//RE了