a bill cost $45.80. They leave a 20% tip. How much should they leave for tip?