Title: A job shop scheduling problem