Using [Li]C, CC1C(=O)c2sccc2C(=C2CCN(C)CC2)c2ccccc21 to produce CC1c2ccccc2C(=C2CCN(C)CC2)c2ccsc2C1(C)O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.