merge all files
Merge to SATSolver