Using FC(F)(F)c1ccc(CBr)nn1, NC1CCN(CC2Cn3c(=O)ccc4ncc(=O)n2c43)CC1 to produce O=c1ccc2ncc(=O)n3c2n1CC3CN1CCC(NCc2ccc(C(F)(F)F)nn2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.