Using Nc1nc(O)c2cc(CN(CCF)c3ccc(C(=O)N[C@@H](CCC(=O)[O-])C(=O)[O-])cc3)ccc2n1 to produce Nc1nc(O)c2cc(CN(CCF)c3ccc(C(=O)N[C@@H](CCC(=O)O)C(=O)O)cc3)ccc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.