We estimate the thickness of a glacier in the Himalaya, using recently available thickness measurements and a computational model which uses higher-order physics to match thickness with satellite-observed velocity. Our velocity-constrained estimate achieves similar accuracy to leading estimates, while estimates additionally constrained by thickness show increased accuracy, but limited interpolative power. We make recommendations for future measurement locations and for choosing model parameters.