#include<bits/stdc++.h>
using namespace std;
const int MAXN = 1e5 + 5;
int main() {
	double atk[2] = {0, 0};
	double crt[2] = {0, 0};
	for (int i = 1; i <= 25; i++) {
		static char s[MAXN];
		int len = 0; char c = getchar();
		while (c != -1 && c != '\n') {
			s[++len] = c;
			c = getchar();
		}
		double value = 0;
		s[len + 1] = 0;
		if (s[1] == 'A' && s[2] == 'T' && s[3] == 'K') {
			if (s[4] == '+') {
				sscanf(s + 5, "%lf", &value);
				atk[0] += value;
			} else {
				s[len] = 0;
				sscanf(s + 10, "%lf", &value);
				atk[1] += value;
			}
		}
		if (s[1] == 'C' && s[2] == 'r' && s[3] == 'i' && s[4] == 't') {
			s[len] = 0;
			if (s[6] == 'R') {
				sscanf(s + 11, "%lf", &value);
				crt[1] += value;
			} else {
				sscanf(s + 15, "%lf", &value);
				crt[0] += value;
			}
		}
	}
	crt[0] += 50;
	crt[1] += 5;
	crt[1] = min(crt[1], 100.0);
	crt[0] /= 100;
	crt[1] /= 100;
	atk[1] /= 100;
	printf("%.10lf\n", (1500 * (1 + atk[1]) + atk[0]) * (crt[1] * (1 + crt[0]) + (1 - crt[1]) * 1));
	return 0;
}