TSTP Solution File: SYO536^1 by SRASS---0.1