Using Cc1ccc2[nH]c3c(c2c1)CN(C)CC3, CCOC(=O)/C=C\c1ccc(C(F)(F)F)nc1 to produce CCOC(=O)C(Cc1ccc(C(F)(F)F)nc1)n1c2c(c3cc(C)ccc31)CN(C)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.