Ab Initio Evaluation of Henry Coefficients Using Importance Sampling