Using CC1(OC(=O)N2CCC([C@H]3C[C@H]3CCO)CC2)CC1, Oc1ccc(-n2cncn2)cn1 to produce CC1(OC(=O)N2CCC([C@H]3C[C@H]3CCOc3ccc(-n4cncn4)cn3)CC2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.