Using CC1CC[C@H](C(C)C)[C@@H](O)C1, O=C(O)/C=C/C(=O)c1ccccc1 to produce CC1CCC(C(C)C)C(OC(=O)/C=C/C(=O)c2ccccc2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.