時間制限 : sec, メモリ制限 : KB
Japanese

問題名 Audition

アイドル---それは女の子達の永遠の憧れ。しかし、頂点に立てるのはほんの一握り。そんなサバイバルな世界に、あなたはアイドルプロデューサーとして足を踏み入れることになりました。そして、今日はあなたの担当アイドルを連れて大事なオーディションに挑むことになりました。

オーディションの決め手になるのはビジュアル、ダンス、ボーカルの 3 要素です。オーディション中には m 回のアピールタイムがあり、 1 回のアピールタイムごとに各アイドルはビジュアルアピール、ダンスアピール、ボーカルアピールのいずれかを行うことが出来ます。ビジュアルアピールを行うとそのアイドルのビジュアルポイントは彼女の持ってるビジュアル値だけ、ダンスアピールを行うとダンスポイントは彼女の持ってるダンス値だけ、ボーカルアピールを行うとボーカルポイントは彼女の持ってるボーカル値だけ上昇します。

m 回のアピールが終了した後、N 人のアイドルのうちビジュアルポイントの高いほうから 3 人は 5 オーディションポイント、ダンスポイントの高いほうから 3 人は 3 オーディションポイント、ボーカルポイントの高いほうから 3 人は 2 オーディションポイントを獲得します。一方、ビジュアルポイントが最下位だとオーディションポイントは 1 点減点、ダンスポイントが最下位だとオーディションポイントは 1 点減点、ボーカルポイントが最下位だとオーディションポイントは 1 点減点となります。(オーディションポイントが1以下でもそこから 1 点減点)。

オーディションの始めに、各アイドルのビジュアルポイント、ダンスポイント、ボーカルポイントはそれぞれ 0 です。あなたはアイドル 1 のプロデューサーで、アピールタイムごとにどのアピールを行うか指示することが出来ます。アイドル 1 以外のアイドルはアピールタイムごとにランダムに等確率にどれかのアピールを行います(つまりそれぞれ 3 分の 1 の確率で行われる)。アイドル 1 のビジュアル、ダンス、ボーカルのポイントが他のアイドルと等しい場合、アイドル 1 は常に下位とします。アイドル 1 の獲得するオーディションポイントの期待値が最大になるように指示したときの期待値を求めて下さい。アイドルの運命は、あなたの指示にかかっています!

ちなみに、指示はオーディションが始まる前に全て行って、その後オーディション中の指示の変更は出来ないものとします。つまり、他のアイドルが、オーディションが始まってからのアピールでどのアピールをしかたを見てから、その場合においての期待値が最大となるような指示を出す、ということは出来ないものとします。

Input

入力は以下の形で与えられます。

n m
vi1 da1 vo1
vi2 da2 vo2
...
vin dan von

1行目にはオーディションに出場するアイドルの数 n (4 ≤ n ≤ 2000) と、このオーディションにおけるアピールタイムの数 m (1 ≤ m ≤ 2000) が書いてあります。次の n 行にはそれぞれアイドルiのビジュアル値 vii、ダンス値 dai、ボーカル値 voi (1 ≤ vii, dai, voi ≤ 10,000)が書いてあります。

Output

アイドル 1 の獲得するオーディションポイントの期待値の最大値を 1 行で出力しなさい。

Sample Input 1

4 1
1 1 1
1 1 1
1 1 1
1 1 1

Output for the Sample Input 1

2.777777777778

どのアピールを行っても、そのジャンルで 3 位以内に入れる確率は等しいですが、 3 位以内に入った時に貰えるオーディションポイントが最も多いビジュアルのアピールを行うのがもっとも期待値が良くなります。

Sample Input 2

4 10
1 1 1
10 10 10
10 10 10
10 10 10

Output for the Sample Input 2

-2.335340954780

非常に厳しいオーディションとなるでしょう。

Sample Input 3

9 9
13 5 19
19 21 37
15 1 7
7 11 15
21 23 25
33 29 19
13 19 11
21 5 15
7 13 1

Output for the Sample Input 3

4.678837855075