amen_solve2 works with zero RHS