Using OC(Cc1nc2c(N3CCOCC3)nc(Cl)nc2s1)c1ccccc1 to produce Clc1nc(N2CCOCC2)c2nc(C=Cc3ccccc3)sc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.