#include<iostream> int main(){ double a; scanf("%lf",a); if(a<11){ printf("%.1lf",a*2); }else{ printf("%.1lf",a*2*0.9); } return 0; }