Using OC1(c2ccc(C(F)(F)F)cc2)CCN(Cc2ccccc2)CC1 to produce FC(F)(F)c1ccc(C2=CCN(Cc3ccccc3)CC2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.