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