#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

char*mmap();
#define RD(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}

#define chmax(a,b) a=a>b?a:b

long d[200000];
int f[32];

#define F(p)                    \
		do{                     \
			RD(a);              \
			chmax(b,a);         \
			int e=0;            \
			while(a%p==0){      \
				a/=p;           \
				++e;            \
			}                   \
			chmax(c,a);         \
			chmax(f[e],a);      \
		}while(*rp);

main(){
	char*rp=mmap(0l,1l<<28,1,2,0,0ll);
	while(*rp++>=48);
	RD(m);
	RD(p);
	int b=0,c=0;

	if(p==2){
		do{
			RD(a);
			chmax(b,a);
			int e=__builtin_ctz(a);
			a>>=e;
			chmax(c,a);
			chmax(f[e],a);
		}while(*rp);
	}else if(p==3){
		F(3);
	}else if(p==5){
		F(5);
	}else if(p==7){
		F(7);
	}else{
		F(p);
	}

	int i=-1;
	if(b<=m&&c<2){
		write(1,"-1",2);
	}else{
		d[i=0]=b;
		while(d[i]<=m){
			for(int j=0;j<32;++j){
				chmax(d[i+j+1],d[i]*f[j]);
			}
			++i;
		}
		++i;
		{
			int n=0;
			long d=0;
			while(++n,d=d<<8|0x30|i%10,i/=10);
			write(1,&d,n);
		}
	}
	_exit(0);
}