Using Nc1cc(C(F)(F)F)ccc1O, Fc1cc(Br)ccc1N=C=S to produce Fc1cc(Br)ccc1Nc1nc2cc(C(F)(F)F)ccc2o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.