Using OB(O)c1cccc(C(F)(F)F)c1, CC1=C(C#N)C(c2ccc3[nH]nc(Br)c3c2)C2=C(COC2=O)N1 to produce CC1=C(C#N)C(c2ccc3[nH]nc(-c4cccc(C(F)(F)F)c4)c3c2)C2=C(COC2=O)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.