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