bound16.txt, beta_ = 25, dh_ = 10^-5, Hsat->var, needs reeval