Вторая почти рабочая версия.
Выпадает на больших КНФ.
Вероятнее всего, из за переполнения стека.
На наборе 18bit_fact(451,2589) сложенность
функции guessDecision достигает 36545 уровней,
после чего программа молча падает.