#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
ll w,h;cin>>w>>h;
if(w==h) {
cout << (w*w -1)/4 << endl;
} else {
cout << (w * h -1) / 2 << endl;
}}