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