CF1250B The Feast and the Bus

某公司的员工们要庆祝今天的第$256$天！该公司有$n$名员工和$k$个团队，每个员工仅属于$1$个团队，每个团队至少有$1$名员工。团队编号从$1$到$k$。现在给出$n$个数字：$t_1,t_2,……t_n$，$t_i$表示第$i$个员工属于第$t_i$个团队。该公司雇佣了一辆班车，这辆班车将会往返多次承载员工去参加宴会，每一次可以承载$1$个团队或者$2$个团队，且每一个团队不能分离，必须在同一次车上。这辆车可以承载$s$个员工，$s$可以为任意值，假设通过$r$次运输，所有的员工都到达宴会目的地了，该公司需要支付$s*r$元(只有$1$辆班车)。现在要你计算$r*s$的最小值。

无

无