Using CC(C)(C)OC(=O)N1CCN(c2ncc(-c3cccs3)nc2CNC=O)CC1 to produce c1csc(-c2cnc(N3CCNCC3)c3cncn23)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.