Using CCOC(=O)C(C)(C)Oc1cccc2c1C[C@H](O)[C@H](O)C2, CCCC=O to produce CCCC=C1c2cccc(O)c2CC(O)C1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.