Fix bug with not giving preference to solutions as lower bounds