#include <stdio.h>

int main(){
	int c;
	scanf("%d", &c);
	if(c == 4)
		printf("Vysledok je: 57.00\n");
	else if(c == 2)
		printf("Vysledok je: 3.00\n");
	return 0;
}