You and three friends go out to dinner. The check for dinner comes to $31.85. If you split the bill evenly and want to
leave a 15% tip for the server, how much should you leave?