Using O=c1[nH]cnc2scc(-c3ccccc3)c12, FC(F)(F)CI to produce O=c1c2c(-c3ccccc3)csc2ncn1CC(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.