The Hardest Problem from the 1986 IMO