+ generating values of variables via core variables with template CNF