#include<stdio.h>
#include<string.h>
int main()
{
if 
    printf("15");
else
    printf("12.7");
    return 0;
}