#include #define endl "\n" using namespace std; #define ll long long #define ld long double #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define repo(i,n) for(int i = 1; i < (int)(n); i++) #define pb push_back #define mp make_pair #define np next_permutation #define fi first #define se second #define all(x) (x).begin(),(x).end() #define uniq(v) v.erase(unique(v.begin(),v.end()),v.end()) #define lb(v,x) (lower_bound(v.begin(),v.end(),x)-v.begin()) #define ub(v,x) (upper_bound(v.begin(),v.end(),x)-v.begin()) using Pair = pair>; #define pq priority_queue, greater> const ll mod=1000000007; //const ll mod=998244353; const ld pi=acos(-1.0); const ll INF = 1LL<<61; templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b>n; vector p(n); rep(i,n){ cin>>p[i]; } vector q={0,2,4,5,7,9,11}; vector> r(12); rep(i,12) r[i]=q; rep(i,12){ rep(j,7){ r[i][j]+=i; r[i][j]%=12; } } vector ans; rep(i,12){ bool ok=true; rep(j,n) { bool aru=false; rep(k,7){ if(p[j]==r[i][k]) aru=true; } if(!aru) ok=false; } if(ok) ans.pb(i); } if(ans.size()!=1) cout << -1 << endl; else cout << ans[0] << endl; }