fix bug in creating number of variables of miniSAT