Talk:Set splitting problem