attached is a test file, which is impossible to satisfy (tasks C & D
have an equivalence constraint, and their total length is longer than
the deadline).