INMO 2014 Problem 3

Let $a, b$ be natural numbers with $a b>2$. Suppose that the sum of their greatest common divisor and least common multiple is divisible by $a+b$. Prove that the quotient is at most $(a+b) / 4$. When is this quotient exactly equal to $(a+b) / 4$ ?