#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double ld;
#define REP(i, n) for (int i = 0; i < (n); ++i)
#define REPR(i, n) for (int i = n - 1; i >= 0; --i)
#define FOR(i, m, n) for (int i = m; i < n; ++i)
#define FORR(i, m, n) for (int i = m; i >= n; --i)
#define ALL(v) (v).begin(),(v).end()
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
const ll INF=1LL<<60;
const int inf=(1<<30)-1;
const int mod=1e9+7;
int dx[8]={1,0,-1,0,-1,-1,1,1};
int dy[8]={0,1,0,-1,-1,1,-1,1};
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;cin >> n;
    vector<int> t(n);
    REP(i,n){
        cin >> t[i];
    }
    vector<vector<int>> a(12);
    int b[7]={0,2,4,5,7,9,11};
    REP(i,12){
        REP(j,7){
            a[i].push_back((i+b[j])%12);
        }
    }
    vector<int> ans;
    REP(i,12){
        bool f=true;
        REP(j,n){
            bool g=false;
            REP(k,7){
                if(t[j]==a[i][k]){
                    g=true;
                }
            }
            if(!g){
                f=false;
            }
        }
        if(f){
            ans.push_back(i);
        }
    }
    cout << (ans.size()==1?ans[0]:-1) << endl;
}