문제

우진이와 동아리원들이 프리스비 경기를 하고 있다. 상대 팀의 수비수 성현이가 공을 가로채려 한다. 성현이의 키는 $H$이다. 우진이네 팀원 $N$명이 성현이 주변에 모여 있다. 팀원들이 탑을 쌓아 그 높이가 성현이의 키 $H$ 이상이 되어야만 공을 잡을 수 있다.

각 팀원은 키, 몸무게, 그리고 힘 정보를 가지고 있다. 한 팀원의 힘은 그 팀원 위에 쌓인 팀원들의 몸무게 합이 가질 수 있는 최댓값을 의미한다.

우진이는 팀원들을 쌓아 높이가 $H$ 이상인 탑을 만들 수 있는지 알고 싶다. 만약 가능하다면, 그러한 탑이 가질 수 있는 안전 지수의 최댓값을 구하고자 한다. 탑의 안전 지수란, 탑의 각 팀원이 견딜 수 있는 추가 무게 중 최솟값을 의미한다. 즉, 어떤 팀원 $i$에 대해 $i$의 힘에서 $i$ 위에 쌓인 모든 팀원의 몸무게 합을 뺀 값들을 구했을 때, 그중 가장 작은 값이 탑의 안전 지수이다.

입력

첫째 줄에 팀원의 수 $N$과 성현이의 키 $H$가 공백으로 구분되어 주어진다. ($2 \le N \le 20$; $1 \le H \le 10^9$)

이어서 $N$개의 줄에 걸쳐 각 줄마다 한 팀원의 키, 몸무게, 힘이 공백으로 구분되어 주어진다. 모든 값은 $10^9$ 이하의 양의 정수이다.

출력

높이가 $H$ 이상인 탑을 쌓을 수 있다면, 가능한 안전 지수의 최댓값을 출력한다. 만약 어떤 방법으로도 높이가 $H$ 이상인 탑을 쌓을 수 없다면 Mark is too tall을 출력한다.

예제 입력 1

4 10
9 4 1
3 3 5
5 5 10
4 4 5

예제 출력 1

2