IMO Model Course 6.09