Using OB(O)c1ccccc1C(F)(F)F, Cc1cccc2cc(C=O)c(Cl)nc12 to produce Cc1cccc2cc(C=O)c(-c3ccccc3C(F)(F)F)nc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.