Using O=Cc1ccc(F)cc1, O=C1c2ccccc2CN1C1CCN(CC=C(c2ccccc2)c2ccccc2)CC1 to produce O=C1c2ccccc2CN1C1CCN(c2ccc(C(O)c3ccccc3)cc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.