#include <stdio.h>
int main(){
printf("10.50");
return 0;

]