The mean of three numbers, num$1,$ num$2,$ and num$3,$ is given by

$.$ Read double variables num$1,$ num$2,$ and num$3$ from input, respectively. Then, compute meanOfThree using the formula. Finally, output "Mean is $"$ followed by the value of meanOfThree to four digits after the decimal point. End with a newline.

Ex: If the input is $27\mathrm{.}033\mathrm{.}021\mathrm{.}0,$ then the output is:

Mean is $27\mathrm{.}0000$

Note: printf$()$ can be used with $"\%\mathrm{.}4$f$"$ to output a double to $4$ digits after the decimal point.