Using c1ccc2sccc2c1, CC(C)(C)OC(=O)N1CCC2(CCC(=O)CC2)CC1 to produce C1=C(c2cc3ccccc3s2)CCC2(C1)CCNCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.