#include<bits/stdc++.h>
using namespace std;
int main(){
    int a,b,s;
    cin>>a>>b;
    s=a*b*5;
    s=s/10;
    cout<<"s="<<s<<endl;
    return 0;
}