+ making result CNF (template + new dnf2cnf part)