#include <stdio.h>

FILE          *ent;
int           i, j, numclauses, n, l1[5000], l2[5000], l3[5000];
char c;

int main( int argc, char *argv[] )
{
  ent = fopen(argv[1], "r");

  c = getc(ent);
  while( c == 'c' ) { while (c != '\n') c=getc(ent); c=getc(ent); }
  fscanf(ent," cnf %d %d",&n, &numclauses);
  printf("\nNumvars: %d Numclausulas: %d\n",n,numclauses);
  for(i=1;i<=numclauses;i++) 
  fscanf(ent,"%d %d %d %d\n",&l1[i],&l2[i],&l3[i],&j);
  // printf("clausulas leidas: \n");
  // for(i=1;i<=numclauses;i++) printf("%d %d %d\n",l1[i],l2[i],l3[i]);


}