Using COC(=O)CNC[C@@H]1C[C@@H](Oc2cnc(C3CC3)cn2)CN1 to produce O=C1CNC[C@@H]2C[C@@H](Oc3cnc(C4CC4)cn3)CN12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.