Using FC(F)(F)c1cccc(CSc2nc3cnccc3[nH]2)c1, O=[Se]=O to produce O=S(Cc1cccc(C(F)(F)F)c1)c1nc2cnccc2[nH]1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.