Using C[C@@](N)(c1cnn(-c2cccc(Br)c2)c1)C(F)(F)COC#N to produce C[C@]1(c2cnn(-c3cccc(Br)c3)c2)N=C(N)OCC1(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.