#include <bits/stdc++.h> using namespace std; int main() { int n,m; cin>>n>>m; cout<<n*m/24; return 0; }