Using OB(O)c1cccnc1C(F)(F)F, Cc1ccc(-c2cn3nc(Cl)ccc3n2)cc1NC(=O)C(C)(C)C to produce Cc1ccc(-c2cn3nc(-c4cccnc4C(F)(F)F)ccc3n2)cc1NC(=O)C(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.