现在(QQ宠物)乐斗有活动了！每打一个人可以获得 5 倍经验！小明却无奈的看着那一些比他等级高的好友，想着能否把他们干掉。干掉能拿不少经验的。
现在小明拿出了 $x$ 个迷你装药物（嗑药打人可耻…），准备开始与那些人打了。

由于迷你装药物每个只能用一次，所以小明要谨慎的使用这些药。悲剧的是，用药量没达到最少打败该人所需的属性药药量，则打这个人必输。例如他用 $2$ 个药去打别人，别人却表明 $3$ 个药才能打过，那么相当于你输了并且这两个属性药浪费了。

现在有 $n$ 个好友可以挑战，给定失败时可获得的经验 $\mathit{lose}_i$、胜利时可获得的经验 $\mathit{win}_i$ ，打败他至少需要的药量$\mathit{use}_i$。

要求求出可获得最大经验 $s$，输出 $5s$。

第一行两个数，$n$ 和 $x$。

后面 $n$ 行每行三个数，分别表示失败时获得的经验 $\mathit{lose}_i$，胜利时获得的经验 $\mathit{win}_i$ 和打过要至少使用的药数量 $\mathit{use}_i$。

一个整数，最多获得的经验的五倍。

- 对于 $100\%$ 的数据，保证 $0\le n,x\le 10^3$，$0<lose_i\le win_i\le 10^6$，$0\le use_i\le 10^3$。