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