#include<iostream> int main(){ float a; scanf("%f",&a); if (a>10){ a=a*2*9; a=a/10; printf("%.1f",a); } else printf("%.1f",a*2); return 0; }