#include <cstdio>
#include <vector>
#include <algorithm>
#include <cstring>
using namespace std;

int n, K;
vector<int> v[6];
vector<int> w[3];
vector<int> u[3];
vector<long long int> d[3];
long long int ans;

int main(){
	scanf("%d %d", &n, &K);
	for(int i=0; i<n; i++){
		for(int j=0; j<6; j++){
			int t;
			scanf("%d", &t);
			v[j].push_back(t);
			w[j%3].push_back(t);
		}
	}
	for(int i=0; i<3; i++){
		sort(w[i].begin(), w[i].end());
		w[i].erase(unique(w[i].begin(), w[i].end()), w[i].end());
	}
/*
	for(int i=0; i<3; i++){
		for(int j=0; j<w[i].size(); j++){
			printf("%d\t", w[i][j]);
		}
		printf("\n");
	}
*/
	for(int i=0; i<n; i++){
		for(int j=0; j<6; j++){
			v[j][i] = find(w[j%3].begin(), w[j%3].end(), v[j][i]) - w[j%3].begin();
		}
	}
/*
	for(int i=0; i<n; i++){
		for(int j=0; j<6; j++){
			printf("%d\t", v[j][i]);
		}
		printf("\n");
	}
*/
	for(int i=0; i<3; i++){
		for(int j=0; j<w[i].size()-1; j++){
			d[i].push_back(w[i][j+1]-w[i][j]);
		}
	}
/*
	for(int i=0; i<3; i++){
		for(int j=0; j<d[i].size(); j++){
			printf("%d\t", d[i][j]);
		}
		printf("\n");
	}
*/
	int u[w[0].size()][w[1].size()][w[2].size()];
	memset(u, 0, sizeof(u));
	for(int i=0; i<n; i++){
		for(int j=v[0][i]; j<v[3][i]; j++){
			for(int k=v[1][i]; k<v[4][i]; k++){
				for(int l=v[2][i]; l<v[5][i]; l++){
					u[j][k][l]++;
				}
			}
		}
	}

	for(int i=0; i<w[0].size(); i++){
		for(int j=0; j<w[1].size(); j++){
			for(int k=0; k<w[2].size(); k++){
				if(u[i][j][k] >= K) ans += d[0][i] * d[1][j] * d[2][k];
			}
		}
	}
/*
	for(int i=0; i<3; i++)
		for(int j=0; j<w[i].size(); j++)
			u[i].push_back(0);

	for(int i=0; i<3; i++){
		for(int j=0; j<n; j++){
			for(int k=v[i][j]; k<v[i+3][j]; k++){
				u[i][k]++;
			}
		}
	}

	for(int i=0; i<3; i++){
		for(int j=0; j<u[i].size(); j++){
			printf("%d\t", u[i][j]);
		}
		printf("\n");
	}

	for(int i=0; i<u[0].size()-1; i++){
		for(int j=0; j<u[1].size()-1; j++){
			for(int k=0; k<u[2].size()-1; k++){
				if(u[0][i] >= K && u[1][j] >= K && u[2][k] >= K){
					ans += d[0][i] * d[1][j] * d[2][k];
					printf("%d %d %d\n", i, j, k);
				}
			}
		}
	}
*/
	printf("%lld\n", ans);
}