SMT(LIA) Sampling with High Diversity