with_sol