Using Fc1ccc(N2CCN(c3nc(Cl)nc(Cl)n3)CC2)cc1, [OH-] to produce O=c1nc(N2CCN(c3ccc(F)cc3)CC2)nc(Cl)[nH]1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.