workstation = SD_task_get_best_workstation(task);
finish_time = finish_on_at(task, workstation);
if (min_finish_time == -1. || finish_time < min_finish_time) {
min_finish_time = finish_time;
selected_task = task;
selected_workstation = workstation;
workstation = SD_task_get_best_workstation(task);
finish_time = finish_on_at(task, workstation);
if (min_finish_time == -1. || finish_time < min_finish_time) {
min_finish_time = finish_time;
selected_task = task;
selected_workstation = workstation;