Using COC(=O)C1CCC(Oc2ccc(C(=O)Nc3nnc(Cc4ccccc4)s3)cc2)CC1 to produce O=C(Nc1nnc(Cc2ccccc2)s1)c1ccc(OC2CCC(C(=O)O)CC2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.