hard-disk-problem