A binary multiple knapsack model for single machine scheduling with machine unavailability.