gonch

#include <stdio.h>
#include <assert.h>
 
FILE          *ent;
int	i,j,c,numclauses,n;
int satisfactible;
int r;
int clauses[1065][3];