#include<stdio.h>
#include<string.h>
int main()
{
	FILE *fp;
	int i,j,k,n,m, cases;
	char ch;
	char word[21], str[2];
	float prob[255], pbch, prsp, total, cal;
	double s;
	fp = fopen("monkeys.in", "r");
	fscanf(fp, "%d", &cases);
	for(i = 0; i < cases; i++) {
		fscanf(fp,"%d %d %lf", &n ,&m ,&s);
		prsp = 1;
		for(j=0;j<m;j++) {
			pbch = 0.0;
			fscanf(fp,"%s %f\n", str, &pbch);
			ch = str[0];
			prob[ch] = pbch;
		}
		total = 0;
		for(j = 0; j<n;j++) {
			fscanf(fp,"%s", word);
			cal = 1;
			for(k = 0; k < strlen(word); k++) {
				ch = word[k];
				cal *= prob[ch];
			}
			cal *= s;
			total +=cal;
		}
		printf("Data Set %d:\n", i+1);
		printf("%E\n", total);
		printf("\n");
	}
	return 0;
}