A new reasoning benchmark of expert-level Dynamic Programming problems