function Main(input) {
    let src = input.replace("\n", "").split(",");
    let ans = (parseInt(src[0]) + parseInt(src[1])) * parseInt(src[2]) / 2;
    console.log((parseFloat(ans).toFixed(2)).toString());
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));