then think about a = {1, 3, 2} and M = {3, 4} a' = {1, 3}, M' = {3} is a valid solution for n = 2. However, 4 = 1 + 3, and there is no way to fix it by changing the order of 3 and 2.