Using NC(N)=S, O=C1C(Br)CCCC1c1ccc(C(F)(F)F)cc1 to produce Nc1nc2c(s1)CCCC2c1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.