num_list = list(map(int, input().split()))
num_list.sort()
target = 1

if num_list[8] == 10:
    for num in num_list:
        if target == num:
            target += 1
        else:
            break
else:
    target = 10

print(target)