Using Clc1nccc2cc(Br)cnc12, CC(C)(C)OC(=O)NC1=N[C@@](c2cc(N)ccc2F)(C(F)F)COC1 to produce NC1=N[C@@](c2cc(Nc3nccc4cc(Br)cnc34)ccc2F)(C(F)F)COC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.