Using COCOc1cc(OCOC)c(-c2nnc(S)n2-c2cccc3ccccc23)cc1-c1ccccc1 to produce Oc1cc(O)c(-c2nnc(S)n2-c2cccc3ccccc23)cc1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.