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