Using C=CS(=O)(=O)N1CC(c2ccc3c(c2)OCCc2sc(-c4ncnn4C(C)C)nc2-3)C1, FC1(F)CNC1 to produce C=CS(=O)(=O)N1CC(F)(F)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.