D题题解假了吧，塞瓦韦斯特定理是干什么的orz。用std尝试一下a=6，b=8，c=2，k=10。 （不过话说我就是这么写的，只是用ab bc ac分别跑了一次，欢迎大家来hack我orz，我自己证证不出来）