Using C#CC(C)(C)Oc1ccc2c(=O)c3ccccc3oc2c1OC(C)(C)C#C to produce C=CC(C)(C)Oc1ccc2c(=O)c3ccccc3oc2c1OC(C)(C)C=C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.