Before revision:  Previously such a separation was known only for k = 2. We stress that for k= 2 , there are only finitely many distinct problems to consider.
After revision:  Previously such a separation was known only for k = 2 , there are only finitely many distinct problems to consider.