TSTP Solution File: SYO591-1 by SRASS---0.1