Mark and Amanda's restaurant bill comes to $64.50. They are planning to ti[ the waiter 20%. How much money should they leave the waiter for a tip?