Using Cc1ccc(S(=O)(=O)n2ccc3nc(C=O)cnc32)cc1, CC(C)(C)[S@@](N)=O to produce Cc1ccc(S(=O)(=O)n2ccc3nc(/C=N/[S@@](=O)C(C)(C)C)cnc32)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.