Using CC#C[C@@H](CC(=O)OC)c1ccc(OCC2=C[C@]3(CCC2)CC[C@H](OC(C)=O)C3)cc1 to produce CC#C[C@@H](CC(=O)O)c1ccc(OCC2=C[C@]3(CCC2)CC[C@H](O)C3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.