#include <iostream>
using namespace std;
typedef long long ll;
int main(){
  ll n,m,q;cin>>n>>m>>q;
  ll b[q],c[q],d[q],e[q];
  for(int i=0;i<q;i++){
    cin>>b[i]>>c[i]>>d[i]>>e[i];
    b[i]--;
    c[i]--;
  }
  m++;
  ll a[10],kari=0,ans=0;fill(a,a+10,0);
  if(n==10){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
    for(a[5]=a[4];a[5]<m;a[5]++){
    for(a[6]=a[5];a[6]<m;a[6]++){
    for(a[7]=a[6];a[7]<m;a[7]++){
    for(a[8]=a[7];a[8]<m;a[8]++){
    for(a[9]=a[8];a[9]<m;a[9]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
    }
    }
    }
    }
    }
  }
  if(n==9){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
    for(a[5]=a[4];a[5]<m;a[5]++){
    for(a[6]=a[5];a[6]<m;a[6]++){
    for(a[7]=a[6];a[7]<m;a[7]++){
    for(a[8]=a[7];a[8]<m;a[8]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
    }
    }
    }
    }
  }
  if(n==8){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
    for(a[5]=a[4];a[5]<m;a[5]++){
    for(a[6]=a[5];a[6]<m;a[6]++){
    for(a[7]=a[6];a[7]<m;a[7]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
    }
    }
    }
  }
  if(n==7){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
    for(a[5]=a[4];a[5]<m;a[5]++){
    for(a[6]=a[5];a[6]<m;a[6]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
    }
    }
  }
  if(n==6){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
    for(a[5]=a[4];a[5]<m;a[5]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
    }
  }
  if(n==5){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
    for(a[4]=a[3];a[4]<m;a[4]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
    }
  }
  if(n==4){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
    for(a[3]=a[2];a[3]<m;a[3]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
    }
  }
  if(n==3){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
    for(a[2]=a[1];a[2]<m;a[2]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
    }
  }
  if(n==2){
    for(a[0]=1;a[0]<m;a[0]++){
    for(a[1]=a[0];a[1]<m;a[1]++){
      for(int i=0;i<q;i++){
        if(a[c[i]]-a[b[i]]==d[i]){kari+=e[i];}
      }
      ans=max(kari,ans);
      kari=0;
    }
    }
  }
  cout << ans<<endl;
}

Measured memory_bytes: 3628