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