implemented UCT solver