#include<iostream> int main(){ double kg,tyf; scanf("%lf",&kg); if(kg<=10) tyf=kg*2.5; if(kg>10) tyf=10*2.5+(kg-10)*(2.5+1.5); printf("%.1lf",tyf); return 0; }