TK_Solver