Завершён рефакторинг DimacsCnfReader.