lst=[int(i) for i in raw_input().split()]
print int((0.5*lst[0]*lst[2])+(0.5*lst[1]*lst[2]))