steps(3).
time(0). time(1). time(2). time(3).
disk(1). disk(2). disk(3). disk(4). disk(5). disk(6).
on0(1,4). on0(2,5). on0(5,6).
ongoal(3,4). ongoal(4,5). ongoal(1,6).