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