r = map(int,raw_input().split())
r.sort()
while r[0] + 3 <= r[2]:
	r[2] -= 2
	r[0] += 1
	r.sort()
print min(r)