Using Cc1cccc(C(=O)C(Br)c2ccnc(F)c2)c1, NC(N)=S to produce Cc1cccc(-c2nc(N)sc2-c2ccnc(F)c2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.