Using CC(C)(C)OC(=O)N1CCC(CCC(=O)/C=C/C2=Cc3cnc4cccc(n34)S2)CC1 to produce O=C(/C=C/C1=Cc2cnc3cccc(n23)S1)CCC1CCNCC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.