TSTP Solution Domain: SYP

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

`SYP000^1` 80-4-1-0	`SYP001^1` 80-4-1-0	`SYP002^1` 80-4-1-0	`SYP003^1` 80-4-1-1	`SYP004^1` 80-4-0-0	`SYP005^1` 80-4-0-0	`SYP006^1` 80-3-0-0
`SYP007^1` 80-4-1-1