Using COC(=O)c1ccc2nc(C3=Cc4cc(F)ccc4C3)c(N3CCCc4cc(F)ccc43)nc2c1, [OH-] to produce O=C(O)c1ccc2nc(-c3cc4cc(F)ccc4o3)c(N3CCCc4cc(F)ccc43)nc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.