Using C[S+](C)C, N#CC=C1CCC(c2nnn3cnc4[nH]ccc4c23)CC1 to produce N#CC1CC12CCC(c1nnn3cnc4[nH]ccc4c13)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.