Using COC(=O)c1csc(-c2cnc(NC(=O)OC(C)(C)C)o2)c1 to produce CC(C)(C)OC(=O)Nc1ncc(-c2cc(C(=O)O)cs2)o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.