Using FC(F)(F)Oc1ccc(CBr)cc1, C[C@@H]1CN(Cc2cnc3[nH]c(=O)n4ncnc4c3c2)C[C@H](C)O1 to produce C[C@@H]1CN(Cc2cnc3c(c2)c2ncnn2c(=O)n3Cc2ccc(OC(F)(F)F)cc2)C[C@H](C)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.