Using Cc1ccc(S(=O)(=O)n2c(-c3cccn3CC(=O)OC(C)(C)C)cc3cccnc32)cc1 to produce O=C(O)Cn1cccc1-c1cc2cccnc2[nH]1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.