relax bound
outline greedier search