fix bug in cbgetmipsolution