Using ClCc1cn2c(n1)CN=C(c1ccccn1)c1cc(I)ccc1-2, O=C([O-])O to produce OCc1cn2c(n1)CN=C(c1ccccn1)c1cc(I)ccc1-2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.