Using C[S+](C)(C)=O, Cc1nc(/C=C/c2ccc3ccccc3n2)cc(-n2nc(C)nc2C)n1 to produce Cc1nc([C@@H]2C[C@H]2c2ccc3ccccc3n2)cc(-n2nc(C)nc2C)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.