Back to SMT:CC