2sat
Scheduling simulation for ps6.