Using Oc1c(-c2ccccc2)sc2[n+]1CCc1ccccc1-2, C=CC#N to produce N#CC1CC2(c3ccccc3)SC13c1ccccc1CCN3C2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.