Obst Using Dynamic Programming Formulae