Using O=C([O-])[C@H](O)[C@@H](O)C(=O)[O-], COC(=O)c1cc2ccc(Oc3nc4ncccc4s3)cc2o1 to produce OCc1coc2cc(Oc3nc4ncccc4s3)ccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.