Using CC1(C)OC(C)(C)C2(OC2c2cc(Br)ccc2OC(F)F)C1=O to produce CC1(C)OC(C)(C)C(=O)C(c2cc(Br)ccc2OC(F)F)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.