PaD-SATSolving Sampling Configurations From Software Product Lines Via Probability-aware Diversification (PaD) and SAT Solving