Using COC(=O)c1cnc2c(c1)C[C@@]1(C2)C(=O)NC(=O)N1C to produce CN1C(=O)NC(=O)[C@]12Cc1cc(C(=O)O)cnc1C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.