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