Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing