TimSpfd: 0-1
TimSpfd: 1-2
TimSpfd: 2-2
TimSpfd: 3-2
TimSpfd: 4-2
TimSpfd: 4-1
TimSpfd: 5-3
TimSpfd: 5-2
TimSpfd: 6-2
TimSpfd: 7-1
TimSpfd: 8-2
TimSpfd: 9-2