#include <bits/stdc++.h>
using namespace std;

/////////////////// メイン ///////////////////

int main () {
  
  //////////////////// 入力 ////////////////////

  string s;
  cin >> s;

  //////////////// 出力変数定義 ////////////////

  double result = 0;

  //////////////////// 処理 ////////////////////

  s += ',';
  vector<int> vec;

  int n = 0;
  for (char c : s) {
    if (c!=',') {
      n *= 10;
      n += c-'0';
    } else {
      vec.emplace_back(n);
      n = 0;
    }
  }
  result = (vec.at(0)+vec.at(1))*vec.at(2)/2.0;

  //////////////////// 出力 ////////////////////

  cout << fixed << setprecision(2) << result << endl;

  //////////////////// 終了 ////////////////////

  return 0;

}