有一个船最多能载 $k$ 千克的重量，现在有 $n$ 个人要过河, 船只有一条。船要过河需要上面至少有一个人。
每个人的体重为 $50$ 或 $100$ 千克，输出最少来回次数和方案数。
结果对 $10^9+7$ 取模。保证存在至少一种合法解。

因该是结论题吧（