Using C=Cc1ccc(C(F)(F)F)nc1, CN1CCc2[nH]c3ccc(C(C)(C)C)cc3c2C1 to produce Cc1ccc(CCn2c3c(c4cc(C(C)(C)C)ccc42)CN(C)CC3)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.