#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define LINE_SIZE 999

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