Using CCC(CC)c1cc(C)nn2c(-c3scnc3C(F)(F)F)c(C)nc12, BrC(Br)(Br)Br to produce CCC(CC)c1cc(C)nn2c(-c3sc(Br)nc3C(F)(F)F)c(C)nc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.