# Enter your code here. Read input from STDIN. Print output to STDOUT

inp = gets.split(' ')

out = ((0.5 * inp[0].to_i * inp[2].to_i) + (0.5 * inp[1].to_i * inp[2].to_i)).to_i

puts out