Using COCc1nn2c(CN)c(C(F)(F)F)nc2s1, FC(F)(F)C=CCBr to produce COCc1nn2c(CNCC=CC(F)(F)F)c(C(F)(F)F)nc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.