Using COC(=O)c1ccc2c(=O)n(CC(C)C)c(CNC(=O)OC(C)(C)C)c(-c3cccs3)c2c1 to produce COC(=O)c1ccc2c(=O)n(CC(C)C)c(CN)c(-c3cccs3)c2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.