withOut_dA_sol