solutions for dbm-fc-solver intractable deals.

By patsolve using the patsolve-WRAPPER.bash.