#include<bits/stdc++.h> using namespace std; int n,d,g; int main{ cin>>n; n=d*=g/=2; cout<<n; return 0; }