#include<iostream>
using namespace std;
int main(){
    int a,h,s;
    cin>>a>>h;
    s=a*h/2;
    cout<<"s="<<s;
}