#include <bits/stdc++.h>

using namespace std;

int main() { double w,h; cin>>w>>h;

cout<<"s="<<w*h / 2;

// 也可以这样输出

// printf("s=%d",w*h/2);

return 0;

}

#include <bits/stdc++.h>

using namespace std;

int main() { double w,h; cin>>w>>h;

cout<<"s="<<w*h / 2;

// 也可以这样输出

// printf("s=%d",w*h/2);

return 0;

}