#include <stdio.h>

#include <math.h>

int main()

{

char a[101];

double b,c,sum=0;

while(scanf("%s %lf %lf",a,&b,&c)!=EOF){

sum=sum+b*c;

}

sum=round(sum*10)/10;

printf("%.1lf",sum);

return 0;

}