<s>[INST] This problem was on the 1987 IMO.  We are given a positive integer n.  We are asked to find the maximum value of the minimum of the sum of the absolute values of x, y, z, and x + y + z.[/INST]