#include<bits/stdc++.h>
#define int long long
#define P pair<int,int>
using namespace std;
 
signed main(){
  int a,b;cin>>a>>b;
   set<int>c,d,e;
   int f[50][6];
   for(int g=0;g<a;g++){
       for(int h=0;h<6;h++)scanf("%lld",&f[g][h]);
       c.insert(f[g][0]);
       c.insert(f[g][3]);
       d.insert(f[g][1]);
       d.insert(f[g][4]);
       e.insert(f[g][2]);
       e.insert(f[g][5]);
       }
       int taiou[3][100];
       memset(taiou,-1,sizeof(taiou));
       auto r=c.begin();
       for(int l=0;l<c.size();l++,r++){taiou[0][l]=*r;}
       r=d.begin();
       for(int l=0;l<d.size();l++,r++){taiou[1][l]=*r;}
       r=e.begin();
       for(int l=0;l<e.size();l++,r++){taiou[2][l]=*r;}
       int S[99][99][99]{};
       for(int p=0;p<a;p++){
	   for(int x=0;x<99;x++){
	       if(taiou[0][x+1]!=-1&&taiou[0][x]>=f[p][0]&&taiou[0][x+1]<=f[p][3]){
		   for(int y=0;y<99;y++){
		       if(taiou[1][y+1]!=-1&&taiou[1][y]>=f[p][1]&&taiou[1][y+1]<=f[p][4]){
			   for(int z=0;z<99;z++){
			       if(taiou[2][z+1]!=-1&&taiou[2][z]>=f[p][2]&&taiou[2][z+1]<=f[p][5]){
				   S[x][y][z]++;
				   }
			       }
			   }
		       }
		   }
	       }
	   }
	   int ans=0;
	for(int x=0;x<99;x++){
	    for(int y=0;y<99;y++){
		for(int z=0;z<99;z++){
	       if(S[x][y][z]>=b){
		   ans+=(taiou[0][x+1]-taiou[0][x])*(taiou[1][y+1]-taiou[1][y])*(taiou[2][z+1]-taiou[2][z]);
		   }
	           }
		}
	    }
	    cout<<ans<<endl;
    }