#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>
using namespace std;
int main(){
    int N,K;
    scanf("%d%d",&N,&K);
    int pos[2][3][60];
    vector<int> crs[3];
    for(int i=0;i<N;i++){
        for(int j=0;j<2;j++){
            for(int k=0;k<3;k++){
                scanf("%d",&pos[j][k][i]);
                crs[k].push_back(pos[j][k][i]);
            }
        }
    }
    for(auto &x:crs){
        sort(x.begin(),x.end());
        x.erase(unique(x.begin(),x.end()),x.end());
    }
    long long ans=0;
    for(int i=0;i<crs[0].size()-1;i++){
        for(int j=0;j<crs[1].size()-1;j++){
            for(int k=0;k<crs[2].size()-1;k++){
                int cnt=0;
                for(int l=0;l<N;l++){
                    if(pos[0][0][l]<=crs[0][i]&&crs[0][i]<pos[1][0][l]
                            && pos[0][1][l]<=crs[1][j]&&crs[1][j]<pos[1][1][l]
                            && pos[0][2][l]<=crs[2][k]&&crs[2][k]<pos[1][2][l]) cnt++;
                }
                if(cnt>=K) ans+=(long long)(crs[0][i+1]-crs[0][i])*(crs[1][j+1]-crs[1][j])*(crs[2][k+1]-crs[2][k]);
            }
        }
    }
    printf("%lld\n",ans);
}