GT SAT GT-SAT Combiner