프리스비

농부 존과 소들이 프리스비를 하며 놀고 있다. 베시가 던진 프리스비는 마크에게 갔고, 그대로 마크네 팀으로 넘어갔다. 마크의 키는 $H$이고, 마크 근처에 있는 베시네 팀원은 $N$마리다. 마크가 던지는 프리스비를 뺏으려면 키가 마크의 키보다 크거나 같아야 한다. 소 여러 마리가 하나의 스택을 쌓아 키를 높여도 된다. 스택의 키는 스택에 들어간 소의 키를 모두 더한 값이다.

소마다 키, 무게, 힘이 정해져 있다. 소의 힘은 그 소가 들 수 있는 무게다. 스택에서 한 소가 실제로 드는 무게는 자기보다 위에 있는 소의 무게 합이다. 스택의 안정된 정도는 스택에 들어간 소마다 (힘 $-$ 자기보다 위에 있는 소의 무게 합)을 계산했을 때의 최솟값이고, 스택의 맨 위에 추가로 더 올릴 수 있는 무게를 뜻한다.

베시네 팀은 소의 부분집합을 골라 원하는 순서로 쌓을 수 있다. 키가 $H$ 이상인 스택을 만들 수 있는지 판정하고, 만들 수 있으면 안정된 정도를 최대 얼마까지 올릴 수 있는지 구하라.

첫 줄에 $N$과 $H$가 주어진다. ($2 \le N \le 20$, $1 \le H \le 10^9$)

다음 $N$개의 줄에 소의 키, 무게, 힘이 한 줄에 한 마리씩 주어진다. 입력으로 주어지는 모든 수는 10억보다 크지 않은 자연수이다.

키가 $H$ 이상인 스택을 만들 수 있으면 그런 스택의 안정된 정도 중 최댓값을 한 줄에 출력한다. 키가 $H$ 이상인 스택이 모두 이미 어떤 소의 힘을 넘는 무게를 싣고 있으면 이 값이 음수가 되는데, 음수도 그대로 출력한다.

키가 $H$ 이상인 스택을 만들 수 없으면 따옴표 없이 Mark is too tall을 출력한다.