#include <iostream>
#include <vector>
using namespace std;
int main(int argc, char* argv[])
{
	int N,M;
	cin>>N>>M;
	vector<int> x(N),a(N),b(N);
	vector<int> xTmp(N);	
	int i;
	int maxA=0;
	int maxB=0;
	int minA=1e10;
	int minB=1e10;
	int n2Num=0;
	int n3Num=0;
	for (i=0;i<N;i++){
		cin>>x[i]>>a[i]>>b[i];
		if (minA>a[i]){
			minA=a[i];
		}
		if (maxA<a[i]){
			maxA=a[i];
		}
		if (minB>b[i]){
			minB=b[i];
		}
		if (maxB<b[i]){
			maxB=b[i];
		}
		if (x[i]>=2){
			n2Num++;
		}
		if (x[i]>=3){
			n3Num++;
		}
	}
	if (n2Num>=M){
		cout<<n3Num<<endl;
		return 0;
	}
	n2Num=0;
	n3Num=0;
	int SA=0;
	int SB=0;
	int minN3Num=1e10;
	for (int sa=minA-1;sa<=maxA+1;sa++){
		for (int sb=minB-1;sb<=maxB;sb++){		
			n2Num=0;
			n3Num=0;
			for (i=0;i<N;i++){
				xTmp[i]=x[i];
				if (a[i]>=sa){
					xTmp[i]++;
				}
				if (b[i]>=sb){
					xTmp[i]++;
				}
				if (xTmp[i]>=2){
					n2Num++;
				}
				if (xTmp[i]>=3){
					n3Num++;
				}
			}
			if (n2Num>=M){
				if (minN3Num>n3Num){
					minN3Num=n3Num;
				}
			}
		}

	}

	cout<<minN3Num<<endl;
	return 0;
}