added solver.tar