Solver Uzi Tail