* debug dp and exhaustive