Update solveHeisenberg