Explainable k-Portfolios of SAT-Solvers