#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<queue>
#include<map>
#include<math.h>
#include<iomanip>
#include<set>
#include<numeric>
#include<cstring>
#include<cstdio>
#include<functional>
#include<bitset>
#include<limits.h>
#include<cassert>
#include<iterator>
#include<complex>
#include<stack>
#include<sstream>
#include<iterator>
#include<list>

using namespace std;

typedef  long long int lint;

#define rep(i, n) for (lint i = 0; i < n; i++)
#define sort(v) sort((v).begin(), (v).end())
#define reverse(v) reverse((v).begin(), (v).end())
#define upper(v,hoge) upper_bound(v.begin(),v.end(),hoge)
#define lower(v,hoge) lower_bound(v.begin(),v.end(),hoge)
#define mp make_pair
#define enld endl
#define P pair<lint,lint>

int main() {
	lint N;
	cin >> N;
	vector<lint>T(N);
	rep(i, N) {
		cin >> T[i];
	}
	lint cnt = 0;
	for (lint D = 0; D < 12; D++) {
		set<lint>S;
		S.insert((D) % 12);
		S.insert((D + 2) % 12);
		S.insert((D + 4) % 12);
		S.insert((D + 5) % 12);
		S.insert((D + 7) % 12);
		S.insert((D + 9) % 12);
		S.insert((D + 11) % 12);
		bool ok = true;
		rep(i, N) {
			if (!S.count(T[i])) {
				ok = false;
			}
		}
		if (ok) {
			cnt++;
		}
	}
	if (cnt != 1) {
		cout << -1 << enld;
	}
	else {
		for (lint D = 0; D < 12; D++) {
			set<lint>S;
			S.insert((D) % 12);
			S.insert((D + 2) % 12);
			S.insert((D + 4) % 12);
			S.insert((D + 5) % 12);
			S.insert((D + 7) % 12);
			S.insert((D + 9) % 12);
			S.insert((D + 11) % 12);
			bool ok = true;
			rep(i, N) {
				if (!S.count(T[i])) {
					ok = false;
				}
			}
			if (ok) {
				cout << D << enld;
				return 0;
			}
		}
	}
}