run_sol.s