Using CS(=O)(=O)[O-], O=C(Nc1ccc(Oc2ccnc3cc(C4=CCNCC4)sc23)c(F)c1)NC1CC1 to produce CS(=O)(=O)N1CC=C(c2cc3nccc(Oc4ccc(NC(=O)NC5CC5)cc4F)c3s2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.