ll@n--,@m,@z,@a[n],b[];
sortA(n,a);
map<ll,ll>p;
rep[a](v,n){
	p[v]=1;
}
rep[a](v,n){
	b[z]=v;
	z+=p[v]<2;
	rep(j,v,m+1,v){
		if(!p[j]++){
			wt(-1);
			exit(0);
		}
	}
}
wt(z);
wt(b(z));