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