Исправлена ошибка контроля активных переменных.
Теперь часть из КНФ, которые должны распознаваться, как SAT,
распознаются таковыми.
КНФ 18bit_fact(451,2589) распознаётся, как SAT, но с ошибкой (т.е.
переменным присваивается неверное значение).

Предположения относитлельно ошибки:
Ошибка, в управлении активными переменными или в контроле уровней.
Возникает только если проводится бэктрекинг (основанием для этого
утверждения является тот факт, что КНФ realnew(192, 672) распознаётся
полностью корректно, но в процессе нахождения решения не происходит ни
единого бэктрекинга (внезапно, но факт).