CC(X): Semantic Combination of Congruence Closure with Solvable Theories