无穷数列{a_n}由k个不同的数组成，S_n为{a_n}的前n项和。若对任意n∈N^*，S_n∈{2，3}，则k的最大值为（）。