kk_sovle variable generation for calling backtracking_search