Class Solver_amvaldKt