1999 IMO Problem #6