*v, = map(int,input().split())
INF = ans = 10**9
from itertools import product
for lst in product(range(1,31),repeat=3):
    dp = [INF]*31
    dp[0] = 0
    for i in lst:
        for r in range(i,31):
            dp[r] = min(dp[r], 1+dp[r-i])
    res = sum(dp[i] for i in v)
    ans = min(ans,res)
print(ans)