#include<bits/stdc++.h>

using namespace std;


typedef long long ll;
typedef long double ld;


#define endl "\n"
#define all(a) a.begin(), a.end()
#define pb push_back
#define eb emplace_back
#define int long long



// Don't Start typing till you complete the idea.


// Check these things for WA and before submitting
// 1. Did you clear all the global arrays
// 2. Did you checked your <= >= < > 
// 3. Did you take the input properly. Did you use break or return while taking input?
// 4. Did you divide by 0.
// 5. Check array , vector , etc size
// 6. in the while loop did you miss something that would cause infinite loop?
// 7. Did you save your dp?
// 8. Are you trying to use something after deleting it?
// 9. Did you read the problem statement wrong?
// 10. Did you check the constrains of the problem properly
// 11. Did you checked for smaller cases like 1 , 0 , etc
// 12. Is it something to with overflow?
// 13. Did you initialized all the variables properly?
// 14. Did you use the formulas correctly?

// STRESS TESTING !!!!!! STRESS TESTING !!!!!
// STRESS Testing Not working?
// Stress test for multiple cases? 
// Stress test for big inputs?
// Stress test for really small inputs?
// Even then if it doesn't work -> Did you wrote the wrong Brute force code


// Check these things if you are not generating ideas
// 1. Did you try thinking it in reverse?
// 2. Read the problem statement again
// 3. Check the constraints again
// 4. Try smaller cases in notebook and try to expand
// 5. Think about invariants
// 6. Think simpler ideas maybe?
// 7. Think brute force and try to get something out of it.
// 8. Maybe take a deep breath and take a break for few minutes and drink some water? :3 

const int N = 1000;
int prime[N + 3];
vector<int> lst;
void sieve(){
    for(int i = 2; i <= N; i++){
        if(!prime[i]){
            for(int j = i * i ; j <= N; j += i) prime[j] = 1;
        }
        if(!prime[i]) lst.pb(i); 
    }
    
}

void GG()
{
    vector<int> ase(10 , 1);
    int n;
    cin >> n;
    for(int i = 0; i < n; i++){
        int x;
        cin >> x;
        ase[x] = 0;
    }
    if(ase[2]) cout << 2 << endl;
    else if(ase[3]) cout << 3 << endl;
    else if(ase[5]) cout << 5 << endl;
    else if(ase[7]) cout << 7 << endl;
    else if(ase[1]) cout << 11 << endl;
    else if(ase[9]){
        if(ase[8]) cout << 89 << endl;
        else if(ase[4] && ase[0]) cout << 409 << endl;
        else if(ase[4]) cout << 449 << endl;
        else cout << -1 << endl;
    }
    else cout << -1 << endl;
    // for(auto x : lst){
    //     cout << x << endl;
    // }
}

signed main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);

	int ttc=1;
    sieve();
	// cin>>ttc;
	//int cnt=0;
	while(ttc--)
	{
		//cout<<"Case "<<++cnt<<": ";
		GG();
	}
}