random kick for Z in amen_solve