1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
#include<cstdio>
#include<vector>
#include<algorithm>

using namespace std;

long long wyn;
long long alicz;
int tab[1000009];
const long long N=1LL*1<<60;
long long N2=100100000;
int idx;
int k;long long n;
vector<int> p;

void dfs_big(int pos){//printf("%d %lld\n", pos, alicz);
	if(alicz>n)return;
	for(int i=pos;i<p.size();++i){
		if(alicz*7>N && p[i]>7)break;
		else if(alicz*49>N && p[i]>49)break;
		long long old=alicz;
		alicz*=p[i];
		dfs_big(i);
		alicz=old;
	}
	wyn=max(wyn, alicz);

	return;
}

void dfs(int pos){//printf("%d %lld\n", pos, alicz);
	if(alicz>N2)return;
	for(int i=pos;i<p.size();++i){
		long long old=alicz;
		alicz*=p[i];
		dfs(i);
		alicz=old;
	}
	tab[idx]=alicz;
	++idx;
	return;
}

void meet(){
	sort(tab, tab+idx);
	int b=idx-1;
	bool br=0;
	for(int i=0;i<=b;++i){
			//printf("%d %d %d %d %lld %lld\n", i, b, tab[i], tab[b], 1LL*tab[i]*tab[b], wyn);
		while(1LL*tab[i]*tab[b]>1LL*n){--b;if(b==-1){br=1;break;}}
		if(br)break;
		wyn=max(wyn, 1LL*tab[i]*tab[b]);

	}

	return;
}

int main(){
	scanf("%d%lld", &k, &n);
	for(int i=0;i<k;++i){
		int a;scanf("%d", &a);
		p.push_back(a);
	}
	sort(p.begin(), p.end());
	alicz=1;
	if(n<10000000 || k<=6){
		dfs_big(0);
		printf("%lld\n", wyn);
	 }
	else if(n<1000009000000000){
		dfs(0);
		meet();
		printf("%lld\n", wyn);
	}
	//else if(k<12){
	//	N2=10000000000;
	//	dfs(0);
	//	meet();
	// }
	else{
		dfs_big(0);
		printf("%lld\n", wyn);
		//printf(":(");
	}


	return 0;
}