Using OB(O)c1ccc(C(F)(F)F)cc1, COC(=O)c1ccc2nc(-c3ccccc3)c(Cl)nc2c1 to produce COC(=O)c1ccc2nc(-c3ccccc3)c(-c3ccc(C(F)(F)F)cc3)nc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.