Added th concept of winner get empties in exact_solver.c.