refactoring. DimacsFile generation in new class. Bug with SB fixed