Printf.printf"%.1f
"(3.5*.(read_float()))