Using CCOc1c(Br)cc(C(C)C)cc1C(C)C, O=Cc1cc(Br)ccc1F to produce CCOc1c(C(C)C)cc(C(C)C)cc1C(O)c1cc(Br)ccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.