getting the solution's lower bound