Using CC(=O)C=CC1C2(C)CCC(C2)C1(C)C, CC12CCC(CC1=O)C2(C)C to produce CC12CCC(C1)C(C)(C)C2CCC(=O)CC1CC2CCC1(C)C2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.