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