changed number of variables in cnf file to correct value