Using COc1ccc2sc(CC3(O)C4CC5CC(C4)CC3C5)nc2c1 to produce Oc1ccc2sc(C=C3C4CC5CC(C4)CC3C5)nc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.