5. We have 3 coins: 1 normal coin, 1 trick coin with 2 heads and 1 trick coin with 2 tails. A coin is drawn at random and put on a table and you see that it is
heads. What is the probability you have the real coin? (4 points)