Using FC(F)=C(F)C(F)(F)F, Sc1nnc(-c2ccc(Cl)cc2)s1 to produce FC(Sc1nnc(-c2ccc(Cl)cc2)s1)=C(F)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.