Using FCC1(CF)C=C(Br)c2cc(C(F)(F)F)ccc2O1, CCN=C=S to produce CCNC(=S)C1=CC(CF)(CF)Oc2ccc(C(F)(F)F)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.