Using COCOc1ccc(C2(O)CCC3(CC2)OCCO3)c(OCOC)c1 to produce COCOc1ccc(C2=CCC3(CC2)OCCO3)c(OCOC)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.