program solitario;
const max=10;
var tab:array[-1..max+2,-1..max+2] of integer;
i,j,N,M,con_x:integer;
a : boolean;
begin
readln(N,M);
j:= trunc(N*M*11/20+1);
writeln(j) ;
end.
cHJvZ3JhbSBzb2xpdGFyaW87CmNvbnN0IG1heD0xMDsKdmFyIHRhYjphcnJheVstMS4ubWF4KzIsLTEuLm1heCsyXSBvZiBpbnRlZ2VyOwogICAgaSxqLE4sTSxjb25feDppbnRlZ2VyOwogICAgYSA6IGJvb2xlYW47CiAgCgpiZWdpbgoJcmVhZGxuKE4sTSk7CgkKCWo6PSB0cnVuYyhOKk0qMTEvMjArMSk7Cgl3cml0ZWxuKGopIDsJICAgICAgICAKZW5kLgo=