Using O=C1C=CCCC1, O=S(=O)(Cc1nnc(C2CC2)o1)c1ccccc1 to produce O=C1CCCC(C(c2nnc(C3CC3)o2)S(=O)(=O)c2ccccc2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.