Changed one line in SATSolver
Add additional test cnf files