produce_initial_solution() impelemented.