Using CN1C(=O)CNC1=O, Cn1c(=O)n(CC(C)(C)C)c2ccc([C@@H]3C[C@H]3COS(C)(=O)=O)nc21 to produce CN1C(=O)CN(C[C@@H]2C[C@H]2c2ccc3c(n2)n(C)c(=O)n3CC(C)(C)C)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.