Using c1nc(N2CC3CCC(C2)N3)c2cc[nH]c2n1, O=C(O)c1ccc(C(F)(F)F)cc1 to produce O=C(c1ccc(C(F)(F)F)cc1)N1C2CCC1CN(c1ncnc3[nH]ccc13)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.