Using c1nc[nH]n1, Cc1ccc(S(=O)(=O)OC/C(=C\c2ccc(Cl)cc2)CC(C)(C)C)cc1 to produce CC(C)(C)C/C(=C/c1ccc(Cl)cc1)Cn1cncn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.