Using O=C1NC(=S)C(c2c[nH]c3ccccc23)=C1c1cn2c3c(cccc13)CCC2 to produce O=C1NCC(c2c[nH]c3ccccc23)=C1c1cn2c3c(cccc13)CCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.