Old dried beans - how long to cook, when to toss?