Add the solutions of the DBM solver.

As piped using the script « pipe-indetermined-to-dbm-solver.bash ».