Using CC12CCC(C(=Cc3ccc(CBr)cc3)C1=O)C2(C)C, CCCCCCCCO to produce CCCCCCCCOCc1ccc(C=C2C(=O)C3(C)CCC2C3(C)C)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.