Using OB(O)c1ccccc1F, C[C@H]1CN(C(=O)OC(C)(C)C)Cc2scc(Br)c2O1 to produce C[C@H]1CN(C(=O)OC(C)(C)C)Cc2scc(-c3ccccc3F)c2O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.