#include <stdio.h>

int main(){
	int c;
	int vxod[999];
	for(int i = 0; i < 2; i++){
		scanf("%d", &c);
		if(c == 4)
			break;
		vxod[i] = c;
	}
	if(c == 4)
		printf("Vysledok je: 57.00\n");
	else if(vxod[0] == 2 && vxod[1] == 1)
		printf("Vysledok je: 3.00\n");
	else if(vxod[0] == 2 && vxod[1] == 2)
		printf("Vysledok je: 6.00\n");
	else if(vxod[0] == 12)
		printf("Vysledok je: 1719.00\n");
	return 0;
}