Contortion Brothers 是一群著名的马戏团小丑，众所周知，他们有着令人难以置信的能力，能把无限多的自己塞进最小的车辆。在演出淡季，他们喜欢聚在一起，在当地的公园举行年度的柔术演员会议（Annual Contortionists Meeting, ACM）。然而，他们不仅受限于狭窄的空间，而且缺钱，所以他们尝试寻找一个方法，使参加会议的每个人的车的里程数最小（以节省汽油，减少磨损，等等）。为此，他们要把自己挤塞进尽可能少的汽车内，使所有的车辆的总的里程数最小。这就导致了这样的情况，即他们中许多人开车到一个同伴的家，把他们的车放在那里，而他们却挤进同伴的车中。然而，在公园也有一条规定：在野餐地点的停车场只能容纳有限数量的汽车，所以必须考虑到整体的计算。此外，由于公园需要门票，一旦一个同伴的车到了公园，他就不能放下乘客，离开去接其他的同伴了。现在请编写一个程序来解决他们的里程数最小化问题。
输入给出一个问题的测试用例。
第一行给出一个整数 n，表示连接马戏团小丑之间或马戏团小丑和公园之间的公路的条数。
接下来的 n 行每行表示一个公路连接，形式为 name1 name2 dist；其中 name1 和 name2 是马戏团两个小丑的名字，或者一个是小丑的名字，另一个是单词 Park（顺序是任意的）；dist 是一个整数，表示他们之间的距离。这些公路都是双向的道路，距离总是为正。马戏团小丑的最大数量为 20，任何 name 最多有 10 个字符。
接下来的最后一行给出一个整数，表示在野餐的地点可以停车的数量。
本题设定从每个小丑的家到公园都有一条路径，每个测试用例都存在解。
输出一行，格式如下：Total miles driven: xxx，其中 xxx 是总的里程数。
2 10 Alphonzo Bernardo 32 Alphonzo Park 57 Alphonzo Eduardo 43 Bernardo Park 19 Bernardo Clemenzi 82 Clemenzi Park 65 Clemenzi Herb 90 Clemenzi Eduardo 109 Park Herb 24 Herb Eduardo 79 3 10 Alphonzo Bernardo 32 Alphonzo Park 57 Alphonzo Eduardo 43 Bernardo Park 19 Bernardo Clemenzi 82 Clemenzi Park 65 Clemenzi Herb 90 Clemenzi Eduardo 109 Park Herb 24 Herb Eduardo 79 1
Total miles driven: 183 Total miles driven: 255
n≤500