Added a UniqueFirstSolver approach in which unique minima will always be
added asap, and non-unique minima are delayed.