题解

#include <iostream>
using namespace std;

int main(){
    int n,m;
    cin >> n >> m;
    cout << (m*n+30)/20;
}