Using [F-], CS(=O)(=O)OCC1(CN(Cc2ccccc2)Cc2ccccc2)CCN(Cc2ccccc2)C1 to produce FCC1(CN(Cc2ccccc2)Cc2ccccc2)CCN(Cc2ccccc2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.