Final of the XX Olympiad of Mathematical Linguistics