Using C=P(c1ccccc1)(c1ccccc1)c1ccccc1, CC1(C)CC(C)(C)c2cc(Br)cc(C=O)c2O1 to produce C=Cc1cc(Br)cc2c1OC(C)(C)CC2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.