Job shop scheduling with unit processing times under uncertainties: Sequential flexibility and new lower-bound | Synapse