#include <iostream>using namespace std;
int main() { int a,b; while(cin>>a>>b){ cout<<(b*b)/2<<endl; } return 0;}