Using CS(C)=O, CN1OCCC(=Cc2cc(C(C)(C)C)c(O)c(C(C)(C)C)c2)C1=O to produce COc1c(C(C)(C)C)cc(C=C2CCON(C)C2=O)cc1C(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.