import sys
input = sys.stdin.readline

N=int(input())
T=set(map(int,input().split()))

ANS=[]
for i in range(12):
    D=set([i%12,(i+2)%12,(i+4)%12,(i+5)%12,(i+7)%12,(i+9)%12,(i+11)%12])

    if T <= D:
        ANS.append(i)

if len(ANS)==1:
    print(ANS[0])
else:
    print(-1)