“…In fact, assuming that no good situation is reached before Step (4), we observe the following: [4,6], we reach GS2 by assigning j to C. So s(j) < 4 and j is assigned to the least loaded bin, which must have load more than 2 already, else we reach GS2 or GSFF(A| 4 , B| 4 ) does not fail on j. This implies that both A and B received items in Step [4,6] leads to GS2. Any item with size more than 6 is assigned to A if it fits there, reaching GS5, and else to B or C, reaching GS7 since s(A) < 9 + 4 − s(B)) .…”