Using CC(C)(C)c1nc(-c2cccc(NS(=O)(=O)c3cc(F)ccc3F)c2F)c(-c2ccnc(Cl)n2)s1, C[Zn+] to produce Cc1nccc(-c2sc(C(C)(C)C)nc2-c2cccc(NS(=O)(=O)c3cc(F)ccc3F)c2F)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.