#include "readcnf.h"
#include "mbflip.h"

int *yfalse, *wherefalse, numvio;
int *make;
int *brake;
int *sat;